Age | Commit message (Expand) | Author | Files | Lines |
2001-08-27 | Universally quantified types added | sjakie | 1 | -7/+4 |
2001-08-27 | bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamic | martijnv | 1 | -8/+82 |
2001-07-19 | Added "curried" arrow types (->) and ((->) a) | alimarin | 1 | -0/+6 |
2001-06-27 | Sjaak: Improved dynamics, not yet finished. | sjakie | 1 | -234/+178 |
2001-06-15 | Bug fix. Free type variables were referenced but not defined. | martijnv | 1 | -27/+41 |
2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -1/+8 |
2001-05-30 | bug fix: arrays of unboxed functions are not allowed | johnvg | 1 | -1/+1 |
2001-05-10 | bug fixes: | martijnv | 1 | -5/+5 |
2001-04-25 | added support for constructors (for toString like usage), | alimarin | 1 | -1/+2 |
2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -1/+0 |
2001-03-23 | fixing several bugs | martinw | 1 | -4/+4 |
2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -16/+16 |
2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -1/+8 |
2001-03-05 | bugfix: added missing alternative for SK_LoaclMacroFunction (introduced for d... | martinw | 1 | -0/+6 |
2001-03-01 | - type files worden aangemaakt (buggy) | martijnv | 1 | -13/+24 |
2000-10-31 | Sjaak: Bug in instance types removed, | sjakie | 1 | -23/+49 |
2000-10-23 | renumber icl function and macro indices when unfolding | johnvg | 1 | -6/+4 |
2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -9/+30 |
2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -33/+43 |
2000-08-29 | adjusted treatment of lazy and strict array functions | sjakie | 1 | -10/+33 |
2000-08-15 | improved typing error messages: type variables are printed like "a" instead | martinw | 1 | -3/+8 |
2000-06-15 | update of dictionary types | sjakie | 1 | -61/+72 |
2000-05-30 | fixed bugs; partially implemented type dependent functions | martijnv | 1 | -109/+271 |
2000-05-22 | improved dynamics | sjakie | 1 | -30/+78 |
2000-04-26 | fixed convert_reduced_context_to_expression | clean | 1 | -1/+1 |
2000-04-26 | Merge Martin/ Sjaak & Ronny branches | clean | 1 | -1/+1 |
2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -126/+131 |
2000-03-20 | *** empty log message *** | sjakie | 1 | -429/+474 |
2000-01-24 | Bug fix: specified overloaded types were not treated correctly | sjakie | 1 | -24/+42 |
2000-01-19 | bug fix (changed syntax tree) | sjakie | 1 | -3/+5 |
2000-01-17 | Bug fixes | sjakie | 1 | -27/+37 |
1999-12-01 | Several bug fixes: | sjakie | 1 | -85/+109 |
1999-11-17 | bug fix: no crash after detecting an overloading error | sjakie | 1 | -27/+5 |
1999-10-19 | Shit, ik heb geen zin om alles dubbel in te tikken | sjakie | 1 | -3/+3 |
1999-10-08 | improvement of error messages during type checking | sjakie | 1 | -15/+19 |
1999-10-05 | Initial import | ronny | 1 | -0/+1201 |