aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.icl
AgeCommit message (Expand)AuthorFilesLines
2002-07-16add DclFunCall in type FunCalljohnvg1-3/+10
2002-07-12added CP_LiftedFunArgjohnvg1-1/+5
2002-06-17removed double alternative for TVI_TypeKind in <<<johnvg1-1/+0
2002-06-03added constructor/type/field information to genericsalimarin1-2/+10
2002-04-11support for generic type context like inalimarin1-3/+22
2002-04-03- collection of used type constructors in unify/coerce. There are two sources:martijnv1-1/+1
2002-03-28fixes in generics to compile with Clean 2.0alimarin1-2/+4
2002-03-25new implementation of genericsalimarin1-44/+133
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-12/+29
2002-01-17Bug fix: Scopes in dynamicssjakie1-2/+3
2001-12-20bugfix (by Sjaak) in reference countingronny1-5/+5
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-5/+4
2001-12-12don't allow local nodedefs (defined with =:) with a specified typeronny1-1/+2
2001-12-05removed type from BasicExprjohnvg1-19/+11
2001-12-03bug fix: uniqueness error in nested record/array updatesronny1-10/+17
2001-11-29different representation of selector kind in Selectionronny1-5/+14
2001-11-26fix explicit imports of cached modulesjohnvg1-0/+2
2001-11-01pass strictness information from C to Clean, print strict exported and all ty...ronny1-0/+1
2001-10-19higher-order kinded types in genericsalimarin1-2/+4
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-23/+34
2001-10-12add <|- generator for overloaded lists againjohnvg1-6/+6
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-8/+31
2001-10-01pass file modification times from icl module and dcl modules to backendronny1-0/+1
2001-10-01Add producer class for fusiondiederik1-1/+7
2001-09-24removed kind correctness checking modulesjakie1-11/+9
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-13/+25
2001-09-12add <|- generator for overloaded listsjohnvg1-6/+6
2001-09-06bug fix: Improved unification algoritm for kindssjakie1-2/+2
2001-09-06remove fun_index from FunDefjohnvg1-5/+4
2001-09-06removed usage of fun_indexalimarin1-6/+6
2001-08-31added ArrayAndListInstances,OverloadedListPatterns and OverloadedListTypejohnvg1-23/+51
2001-08-27Universally quantified types addedsjakie1-5/+5
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-8/+22
2001-07-18replaced VI_Alias with VI_AliasSequenceNumber to avoid potential clashesronny1-1/+1
2001-07-12uniqueness attributes in backendronny1-1/+1
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-22/+40
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-0/+3
2001-06-15Bug fix. Free type variables were referenced but not defined.martijnv1-0/+2
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-0/+1
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-3/+3
2001-06-06removed code that prints the pointer in instance <<<johnvg1-2/+2
2001-05-30detect in 'postparse' when the definition module correspondingjohnvg1-1/+1
2001-05-30optimize array comprehensions,johnvg1-2/+2
2001-05-11moving all switch macros to new module "compilerSwitches"martinw1-9/+6
2001-05-10bug fixes:martijnv1-1/+1
2001-05-08added VI_Labelled_Empty and VI_LocalLetVar to VarInforonny1-0/+3
2001-05-03Flag to turn generics on and off (SupportGenerics), default offronny1-0/+1
2001-05-03added preliminary support for cons info by typealimarin1-1/+5
2001-04-25added support for constructors (for toString like usage),alimarin1-0/+2
2001-04-20bugfix: the compiler recognized f in the following example as a node andmartinw1-1/+1