aboutsummaryrefslogtreecommitdiff
path: root/frontend/postparse.icl
AgeCommit message (Collapse)AuthorFilesLines
2003-12-01use same default fixity and priority (infixl 9) everywhereronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1421 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-16renamed field names of type Ident in syntax treeronny1-40/+40
s/\<mod_name\>/mod_ident/g s/\<ps_field_name\>/ps_field_ident/g s/\<ps_selector_name\>/ps_selector_ident/g s/\<pc_cons_name\>/pc_cons_ident/g s/\<class_name\>/class_ident/g s/\<gen_name\>/gen_ident/g s/\<gen_member_name\>/gen_member_ident/g s/\<gc_name\>/gc_ident/g s/\<gc_gname\>/gc_gident/g s/\<fs_name\>/fs_ident/g s/\<td_name\>/td_ident/g s/\<fv_name\>/fv_ident/g s/\<var_name\>/var_ident/g s/\<type_name\>/type_ident/g s/\<symb_name\>/symb_ident/g s/\<tv_name\>/tv_ident/g s/\<av_name\>/av_ident/g s/\<me_symb\>/me_ident/g s/\<ft_symb\>/ft_ident/g s/\<fun_symb\>/fun_ident/g s/\<cons_symb\>/cons_ident/g s/\<sd_symb\>/sd__ident/g git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1340 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-08Bug fix: uniqueness error in recordssjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1308 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-06report "macro with function type not allowed" error forjohnvg1-2/+4
macros with a function type, instead of ignoring the type, or crashing when the arity is incorrect git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1303 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed records, strict dot dot expressions, generatejohnvg1-149/+161
TC; types only when compiling for dynamics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1243 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-14new type code and type code constructor representationronny1-3/+51
clean-up and renamed functions from StdDynamic git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1234 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17add abstract synonym typesjohnvg1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1157 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed ignored !'sjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-03added constructor/type/field information to genericsalimarin1-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1079 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-04-11support for generic type context like inalimarin1-2/+1
foo :: a a -> Bool | eq{|*|} a git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1073 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-25new implementation of genericsalimarin1-4/+65
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-2/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12don't allow local nodedefs (defined with =:) with a specified typeronny1-6/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@927 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-119/+119
added BVInt removed symb_arity from SymbIdent git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-03removed unused field (to make the module compilable with Clean 2.0)ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@914 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-30store predefined identifiers in CAFjohnvg1-88/+68
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-26assorted parse/scan bug fixesronny1-2/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@906 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-91/+76
remove conversion table, except for macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01pass file modification times from icl module and dcl modules to backendronny1-26/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@808 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-12add <|- generator for overloaded listsjohnvg1-69/+69
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@774 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06added command line flag to enable genericsalimarin1-17/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@755 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06remove fun_index from FunDefjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for strict and unboxed list comprehensionsjohnvg1-21/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@713 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-1/+1
Fixed some bugs in generics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@559 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-06set the 'fun_pos' of a 'FunDef' for functions with a specified typejohnvg1-9/+8
to the position of the type instead of the position of the first alternative git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@473 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30detect in 'postparse' when the definition module correspondingjohnvg1-16/+28
to the main module is imported, and the main module is not an implementation module. renamed local function 'scan_dcl_module' into 'scan_main_dcl_module'. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@438 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30optimize array comprehensions,johnvg1-177/+479
optimize dot dot generators, fixed bug in array comprehensions with more than one qualifier, removed 'c' before 'cIsListGenerator' and 'cIsArrayGenerator' git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@437 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20bugfix: the compiler recognized f in the following example as a node andmartinw1-33/+22
ignored the type specification. Now he treats f as a function, and hence gives a type error Start = f where f :: String f = 1 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@361 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15*** empty log message ***martinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@333 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-13Generics are added, but are disabled.alimarin1-2/+6
Tested with compiling Object IO and butstrapping. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@329 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-34/+34
checking of a whole dcl module component --> now cyclic module dependencies should work git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@294 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25improved storing position informationmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@264 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-162/+160
dcl macros in icl functions and macros removed expanded macros from groups (s.c.components) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@259 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-11added error messagesmartinw1-1/+2
"first argument of infix operator missing" and "second argument of infix operator missing" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@256 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-02comment before import RWSDebugronny1-3/+4
fixed checking error flag for reorganiseDefinitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@243 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-56/+94
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@232 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-13added position information for better error messagesmartinw1-5/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@214 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-4/+10
of "v314", case defaults and guards now also have file position information. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-09added position information to case alternatives and changed the typingmartinw1-8/+16
algorihm so that typing error messages can indicate the alternative in which the error occured. Before, these error messages always located the first alternative/function type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@200 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-01improving error messagesmartinw1-16/+50
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@196 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-04labels global function names without ";n" extensionclean1-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@181 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-03no messageclean1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@179 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-03no messageclean1-3/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@178 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-20no messageclean1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@174 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-20re-adding dead versionmartinw1-0/+1015
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@173 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-20no messageclean1-1015/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@172 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-09predef.icl: StdDynamics has become StdDynamicmartijnv1-0/+5
postparse.icl: Propagation continues with dynamic expression instead of halting git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@154 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-31readableizing error messagesmartinw1-5/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@147 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean1-246/+233
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@127 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26changes to make compiler compatible with itselfmartinw1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 19:40:37 +0000