Age | Commit message (Expand) | Author | Files | Lines |
2002-10-31 | Fix bug where wrong type code constructor was selected. | ronny | 1 | -1/+1 |
2002-10-30 | Removed at least 4 bugs (maybe more, but i can't remember): | sjakie | 1 | -1/+2 |
2002-10-18 | add boxed records and strict dot dot expressions | johnvg | 1 | -5/+5 |
2002-09-20 | switch to 2.0 syntax, remove duplicated definitions from icl modules | ronny | 1 | -1410/+7 |
2002-09-19 | major rewrite dynamics | ronny | 1 | -1/+4 |
2002-09-04 | Add SK_GeneratedCaseFunction for dynamic cases fix | diederik | 1 | -0/+1 |
2002-08-27 | Added FailExpr node | ronny | 1 | -0/+2 |
2002-08-22 | transform implicit cases on rhs variables, see comment before splitCases in c... | ronny | 1 | -0/+23 |
2002-07-29 | move typedefs from trans to syntax; allow for uncurried instances; fix compar... | diederik | 1 | -0/+4 |
2002-07-25 | add PR_Unused for unused function arguments | diederik | 1 | -0/+1 |
2002-07-16 | add DclFunCall in type FunCall | johnvg | 1 | -3/+10 |
2002-07-12 | added CP_LiftedFunArg | johnvg | 1 | -1/+5 |
2002-06-17 | removed double alternative for TVI_TypeKind in <<< | johnvg | 1 | -1/+0 |
2002-06-03 | added constructor/type/field information to generics | alimarin | 1 | -2/+10 |
2002-04-11 | support for generic type context like in | alimarin | 1 | -3/+22 |
2002-04-03 | - collection of used type constructors in unify/coerce. There are two sources: | martijnv | 1 | -1/+1 |
2002-03-28 | fixes in generics to compile with Clean 2.0 | alimarin | 1 | -2/+4 |
2002-03-25 | new implementation of generics | alimarin | 1 | -44/+133 |
2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -12/+29 |
2002-01-17 | Bug fix: Scopes in dynamics | sjakie | 1 | -2/+3 |
2001-12-20 | bugfix (by Sjaak) in reference counting | ronny | 1 | -5/+5 |
2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -5/+4 |
2001-12-12 | don't allow local nodedefs (defined with =:) with a specified type | ronny | 1 | -1/+2 |
2001-12-05 | removed type from BasicExpr | johnvg | 1 | -19/+11 |
2001-12-03 | bug fix: uniqueness error in nested record/array updates | ronny | 1 | -10/+17 |
2001-11-29 | different representation of selector kind in Selection | ronny | 1 | -5/+14 |
2001-11-26 | fix explicit imports of cached modules | johnvg | 1 | -0/+2 |
2001-11-01 | pass strictness information from C to Clean, print strict exported and all ty... | ronny | 1 | -0/+1 |
2001-10-19 | higher-order kinded types in generics | alimarin | 1 | -2/+4 |
2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -23/+34 |
2001-10-12 | add <|- generator for overloaded lists again | johnvg | 1 | -6/+6 |
2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -8/+31 |
2001-10-01 | pass file modification times from icl module and dcl modules to backend | ronny | 1 | -0/+1 |
2001-10-01 | Add producer class for fusion | diederik | 1 | -1/+7 |
2001-09-24 | removed kind correctness checking module | sjakie | 1 | -11/+9 |
2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -13/+25 |
2001-09-12 | add <|- generator for overloaded lists | johnvg | 1 | -6/+6 |
2001-09-06 | bug fix: Improved unification algoritm for kinds | sjakie | 1 | -2/+2 |
2001-09-06 | remove fun_index from FunDef | johnvg | 1 | -5/+4 |
2001-09-06 | removed usage of fun_index | alimarin | 1 | -6/+6 |
2001-08-31 | added ArrayAndListInstances,OverloadedListPatterns and OverloadedListType | johnvg | 1 | -23/+51 |
2001-08-27 | Universally quantified types added | sjakie | 1 | -5/+5 |
2001-07-19 | Added "curried" arrow types (->) and ((->) a) | alimarin | 1 | -8/+22 |
2001-07-18 | replaced VI_Alias with VI_AliasSequenceNumber to avoid potential clashes | ronny | 1 | -1/+1 |
2001-07-12 | uniqueness attributes in backend | ronny | 1 | -1/+1 |
2001-06-27 | Sjaak: Improved dynamics, not yet finished. | sjakie | 1 | -22/+40 |
2001-06-22 | boolean for explicit cases (cases that are specified by the programmer) | ronny | 1 | -0/+3 |
2001-06-15 | Bug fix. Free type variables were referenced but not defined. | martijnv | 1 | -0/+2 |
2001-06-15 | making kind checking phase compatible with dcl caching | martinw | 1 | -0/+1 |
2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -3/+3 |