aboutsummaryrefslogtreecommitdiff
path: root/frontend/check.icl
AgeCommit message (Expand)AuthorFilesLines
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-16/+31
2002-02-04er worden nu universele type variabelen in de vorm van UP_laceHolder'smartijnv1-0/+1
2002-01-17Bug fix: Scopes in dynamicssjakie1-1/+1
2002-01-16added default alternatives for functions 'is_lazy_or_strict_array'johnvg1-0/+4
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-2/+10
2001-12-12don't allow strict #! lets in macro bodiesronny1-2/+103
2001-12-12enforce that CAFs are non-uniqueronny1-4/+12
2001-12-05removed type from BasicExprjohnvg1-3/+15
2001-11-30store predefined identifiers in CAFjohnvg1-88/+59
2001-11-26fix explicit imports of cached modulesjohnvg1-19/+120
2001-11-08bug fix, symbol table was not cleaned up after a error in the types of a dcl ...ronny1-1/+5
2001-10-19higher-order kinded types in genericsalimarin1-1/+1
2001-10-19fix bug in renumbering of specialsjohnvg1-32/+25
2001-10-18make source code clean 2.0 compatiblejohnvg1-2/+9
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-636/+655
2001-10-08universally quantified attribute variables in typedefs addedsjakie1-58/+84
2001-10-03Bug fixes: overloading error, changed the order of dictionariessjakie1-1/+1
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-62/+81
2001-10-01pass file modification times from icl module and dcl modules to backendronny1-6/+7
2001-09-24removed kind correctness checking modulesjakie1-3/+4
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-43/+46
2001-09-14fix uniqueness bug (again)johnvg1-2/+1
2001-09-13fix uniqueness errorjohnvg1-3/+2
2001-09-06remove 'dcl_is_cashed'johnvg1-2/+1
2001-09-06check if StdStrictLists is importedjohnvg1-1/+4
2001-09-06remove fun_index from FunDefjohnvg1-34/+17
2001-09-06removed usage of fun_indexalimarin1-14/+20
2001-09-05moved function getBelongingSymbolsFromID from checksupport to explicitimportsjohnvg1-0/+7
2001-08-31allow specials for lazy and strict arrays and lists without specifying elemen...johnvg1-186/+178
2001-08-30added switch_dynamics in module compilerSwitches. Standard dynamics aremartijnv1-1/+12
2001-08-27universally quantified types addedsjakie1-2/+2
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv1-5/+7
2001-07-27patch to prevent crash with undefined type variabeles in special declarationronny1-0/+16
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-2/+5
2001-06-25generate .depend for current dcl moduleronny1-0/+4
2001-06-20optimise && and ||johnvg1-5/+13
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-9/+12
2001-06-14support for module system is added to genercisalimarin1-44/+105
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-0/+1
2001-06-05for error messages in patterns use line number of the alternative,johnvg1-20/+16
2001-05-31added mechanism to generate a module id for each module. Fixed an indexmartijnv1-0/+22
2001-05-11checking the kinds of all function-, instance-, class- and member-typesmartinw1-51/+1
2001-05-10bug fixes:martijnv1-1/+1
2001-05-08added fields to cons_info and type_infoalimarin1-2/+4
2001-05-04satisfying John's pervert and bizarre wishes for better error messagesmartinw1-3/+14
2001-05-03added preliminary support for cons info by typealimarin1-0/+2
2001-04-27new error message for "instance c U":martinw1-21/+92
2001-04-25added support for constructors (for toString like usage),alimarin1-5/+23
2001-04-20pepping up error messagesmartinw1-12/+42
2001-03-27uniqueness support is added to genericsalimarin1-89/+28