Age | Commit message (Expand) | Author | Files | Lines |
2002-07-17 | add abstract synonym types | johnvg | 1 | -4/+6 |
2002-06-17 | removed ignored !'s | johnvg | 1 | -2/+2 |
2002-04-11 | support for generic type context like in | alimarin | 1 | -3/+10 |
2002-03-28 | fixes in generics to compile with Clean 2.0 | alimarin | 1 | -5/+26 |
2002-03-25 | new implementation of generics | alimarin | 1 | -13/+49 |
2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -72/+83 |
2001-11-06 | Bug fix: crashed with cyclic type classes | sjakie | 1 | -2/+3 |
2001-10-19 | higher-order kinded types in generics | alimarin | 1 | -1/+22 |
2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -24/+33 |
2001-10-17 | Bug fixes: too many error messages were printed | sjakie | 1 | -3/+4 |
2001-10-05 | Added existential attribute variables to type definitions | sjakie | 1 | -3/+3 |
2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -23/+17 |
2001-09-24 | removed kind correctness checking module | sjakie | 1 | -93/+343 |
2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -245/+333 |
2001-09-06 | bug fix: Improved unification algoritm for kinds | sjakie | 1 | -15/+70 |
2001-08-28 | universally quantified types added | sjakie | 1 | -2/+14 |
2001-03-27 | uniqueness support is added to generics | alimarin | 1 | -5/+0 |
2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -1/+1 |
2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -18/+4 |
2001-01-12 | New algorithm for explicit imports that also works with cyclic module depende... | martinw | 1 | -3/+3 |
2000-10-25 | adding error message:left root * attribute expected | martinw | 1 | -2/+78 |
2000-09-27 | making compiler self compatible | martinw | 1 | -3/+3 |
2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -5/+10 |
2000-04-26 | Merge Martin/ Sjaak & Ronny branches | clean | 1 | -2/+3 |
2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -16/+16 |
2000-02-16 | buf fix (dictionary types in dcl modules) | sjakie | 1 | -3/+3 |
1999-11-05 | minor changes | martinw | 1 | -1/+0 |
1999-11-05 | fusion works now. The fusion switch in module typesupport is enabled | martinw | 1 | -0/+1 |
1999-10-05 | Initial import | ronny | 1 | -0/+487 |