aboutsummaryrefslogtreecommitdiff
path: root/frontend/analtypes.icl
AgeCommit message (Expand)AuthorFilesLines
2014-03-19fix the order of expansion of type synonyms in type synonyms,johnvg1-2/+3
2013-04-04add type constraints in dynamic typesjohnvg1-27/+45
2012-08-14rename extendable to extensiblejohnvg1-8/+8
2012-08-14add extendable algebraic data types (merged from iTask branch)johnvg1-8/+43
2011-11-08remove unnecessary imports of module check,johnvg1-1/+1
2011-11-03remove differences in layout between the compiler and the iTask compilerjohnvg1-110/+97
2011-04-18add instance declarations with a qualified class namejohnvg1-3/+3
2011-04-15git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 1f8540f1-abd...johnvg1-2/+3
2010-11-24saome small changes in layoutjohnvg1-13/+3
2007-04-13expand types if NO error has occurred, instead of if an error has occurredjohnvg1-1/+1
2007-04-13implement newtypejohnvg1-107/+210
2007-03-28fix module number test in function try_to_expand_synonym_type_in_main_dcl,johnvg1-17/+15
2003-09-16removed boolean result from substituteType and substitute: theyronny1-5/+2
2003-06-19check type properties also for abstract type synonymsjohnvg1-4/+9
2003-05-16renamed field names of type Ident in syntax treeronny1-36/+36
2003-01-08Bug fix: uniqueness error in recordssjakie1-12/+17
2002-12-10bug fix: pass type_index and mod_index in the right orderjohnvg1-1/+1
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-13 19:10:08 +0000