Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-04-09 | optimize fusion, reduce memory used of fusion (from iTask branch): | johnvg | 1 | -1/+6 |
2013-04-02 | add type constraints in constructors and function arguments with universal qu... | johnvg | 1 | -6/+3 |
2005-09-16 | make line number in the | johnvg | 1 | -1/+1 |
2001-10-03 | replace uniqueCopy with copyCoercions | ronny | 1 | -0/+2 |
2001-08-27 | Universally quantified types added | sjakie | 1 | -4/+5 |
2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -2/+4 |
2001-01-19 | uniqueness unification for types of functions that are generated | martinw | 1 | -7/+22 |
2000-08-15 | improved typing error messages: type variables are printed like "a" instead | martinw | 1 | -2/+0 |
2000-08-01 | improving error messages | martinw | 1 | -0/+2 |
2000-02-07 | commit for Sjaak by RWS | sjakie | 1 | -2/+3 |
1999-10-19 | extension: improved error messages for uniqueness types | sjakie | 1 | -3/+5 |
1999-10-05 | Initial import | ronny | 1 | -0/+48 |