aboutsummaryrefslogtreecommitdiff
path: root/frontend/analtypes.icl
AgeCommit message (Expand)AuthorFilesLines
2002-11-13Removed bugs in analysis of abstract data types and adjusted typing of record...sjakie1-19/+28
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie1-9/+44
2002-07-22check kinds in dynamicsronny1-17/+53
2002-07-17add abstract synonym typesjohnvg1-4/+6
2002-06-17removed ignored !'sjohnvg1-2/+2
2002-04-11support for generic type context like inalimarin1-3/+10
2002-03-28fixes in generics to compile with Clean 2.0alimarin1-5/+26
2002-03-25new implementation of genericsalimarin1-13/+49
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-72/+83
2001-11-06Bug fix: crashed with cyclic type classessjakie1-2/+3
2001-10-19higher-order kinded types in genericsalimarin1-1/+22
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-24/+33
2001-10-17Bug fixes: too many error messages were printedsjakie1-3/+4
2001-10-05Added existential attribute variables to type definitionssjakie1-3/+3
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-23/+17
2001-09-24removed kind correctness checking modulesjakie1-93/+343
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-245/+333
2001-09-06bug fix: Improved unification algoritm for kindssjakie1-15/+70
2001-08-28universally quantified types addedsjakie1-2/+14
2001-03-27uniqueness support is added to genericsalimarin1-5/+0
2001-03-27unfold all macros and local functions in macrosjohnvg1-1/+1
2001-03-13Generics are added, but are disabled.alimarin1-18/+4
2001-01-12New algorithm for explicit imports that also works with cyclic module depende...martinw1-3/+3
2000-10-25adding error message:left root * attribute expectedmartinw1-2/+78
2000-09-27making compiler self compatiblemartinw1-3/+3
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-5/+10
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean1-2/+3
2000-04-26changes to make compiler compatible with itselfmartinw1-16/+16
2000-02-16buf fix (dictionary types in dcl modules)sjakie1-3/+3
1999-11-05minor changesmartinw1-1/+0
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw1-0/+1
1999-10-05Initial importronny1-0/+487
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:44:28 +0000