| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2001-10-08 | universally quantified attribute variables in typedefs added | sjakie | 1 | -7/+26 |
| 2001-10-05 | Added existential attribute variables to type definitions | sjakie | 1 | -48/+66 |
| 2001-10-03 | replace uniqueCopy with copyCoercions | ronny | 1 | -8/+1 |
| 2001-10-03 | fixed type error by reintroducing uniqueCopy | ronny | 1 | -1/+8 |
| 2001-10-03 | eliminated cheat module | ronny | 1 | -2/+2 |
| 2001-10-02 | removed uniqueness errors | sjakie | 1 | -2/+2 |
| 2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -37/+42 |
| 2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -2/+2 |
| 2001-09-06 | bug fix: Improved unification algoritm for kinds | sjakie | 1 | -10/+10 |
| 2001-09-06 | remove fun_index from FunDef | johnvg | 1 | -6/+2 |
| 2001-09-06 | removed usage of fun_index | alimarin | 1 | -1/+17 |
| 2001-09-03 | comment out debug messages | johnvg | 1 | -2/+2 |
| 2001-08-31 | type strict and unboxed lists | johnvg | 1 | -124/+248 |
| 2001-08-28 | Universally quantified types added | sjakie | 1 | -8/+15 |
| 2001-08-27 | Universally quantified types added | sjakie | 1 | -117/+198 |
| 2001-07-19 | Added "curried" arrow types (->) and ((->) a) | alimarin | 1 | -3/+62 |
| 2001-06-27 | Sjaak: Improved dynamics, not yet finished. | sjakie | 1 | -17/+24 |
| 2001-06-21 | bug fix: line numbers in type errors for let bindings | johnvg | 1 | -16/+39 |
| 2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -472/+313 |
| 2001-05-31 | fix bug in uniqueness typing for array updates with (a & [i ]= e} syntax | johnvg | 1 | -27/+17 |
| 2001-05-11 | checking the kinds of all function-, instance-, class- and member-types | martinw | 1 | -45/+1 |
| 2001-05-10 | bug fixes: | martijnv | 1 | -4/+4 |
| 2001-05-04 | bugfix: for | martinw | 1 | -31/+29 |
| 2001-04-27 | bugfix: the derived type for | martinw | 1 | -4/+4 |
| 2001-03-28 | uniqueness support is added to generics | alimarin | 1 | -6/+9 |
| 2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -4/+42 |
| 2001-03-23 | fixing several bugs | martinw | 1 | -2/+2 |
| 2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -2/+1 |
| 2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -22/+69 |
| 2001-03-02 | making compiler self compilable (this doesn't say anything about the | martinw | 1 | -1/+3 |
| 2001-03-01 | - type files worden aangemaakt (buggy) | martijnv | 1 | -5/+5 |
| 2001-01-19 | uniqueness unification for types of functions that are generated | martinw | 1 | -140/+65 |
| 2001-01-16 | Sjaak: No idea | sjakie | 1 | -33/+2 |
| 2001-01-12 | New algorithm for explicit imports that also works with cyclic module depende... | martinw | 1 | -1/+1 |
| 2000-11-01 | improved code for explicit imports, | martinw | 1 | -1/+1 |
| 2000-10-26 | added error message e.g. | martinw | 1 | -4/+56 |
| 2000-10-25 | now correct position information is given for error message | martinw | 1 | -18/+28 |
| 2000-10-23 | renumber icl function and macro indices when unfolding | johnvg | 1 | -8/+8 |
| 2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -54/+77 |
| 2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -42/+295 |
| 2000-09-20 | now "list inferred types" can print attributes also | martinw | 1 | -9/+18 |
| 2000-09-12 | small bugfix | martinw | 1 | -0/+1 |
| 2000-08-18 | *** empty log message *** | martinw | 1 | -0/+2 |
| 2000-08-15 | improved typing error messages: type variables are printed like "a" instead | martinw | 1 | -26/+132 |
| 2000-08-10 | added position information to case defaults to improve type error messages | martinw | 1 | -2/+19 |
| 2000-08-09 | added position information to case alternatives and changed the typing | martinw | 1 | -7/+145 |
| 2000-08-02 | comment MW3 removed; minor improvements | sjakie | 1 | -64/+2 |
| 2000-08-01 | improving error messages | martinw | 1 | -38/+105 |
| 2000-06-16 | small changes to reduce memory allocation | clean | 1 | -3/+13 |
| 2000-06-15 | update of dictionary types | sjakie | 1 | -28/+35 |
