| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2002-09-19 | bug fixed: check if overloading is solved in type codes, removed some unused ... | ronny | 1 | -50/+26 |
| 2002-09-19 | major rewrite dynamics | ronny | 1 | -139/+21 |
| 2002-07-22 | expand all type synonyms in dynamics | ronny | 1 | -11/+17 |
| 2002-06-17 | removed ignored !'s | johnvg | 1 | -2/+2 |
| 2002-04-11 | support for generic type context like in | alimarin | 1 | -10/+27 |
| 2002-04-04 | - removed strictness annotations | martijnv | 1 | -2/+2 |
| 2002-04-03 | - collection of used type constructors in unify/coerce. There are two sources: | martijnv | 1 | -18/+21 |
| 2002-03-25 | new implementation of generics | alimarin | 1 | -26/+30 |
| 2002-02-26 | Bug fix: Dictionary arguments were not passed correctly to other dictionaries | sjakie | 1 | -0/+12 |
| 2002-02-11 | - creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predef | martijnv | 1 | -1/+1 |
| 2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -38/+117 |
| 2002-02-04 | er worden nu universele type variabelen in de vorm van UP_laceHolder's | martijnv | 1 | -3/+7 |
| 2002-01-21 | bug fix: fold2St cannot deal with inifinite lists | martijnv | 1 | -4/+4 |
| 2002-01-17 | Bug fix: Scopes in dynamics | sjakie | 1 | -6/+10 |
| 2001-12-20 | remove RWSDebug dependency | ronny | 1 | -2/+0 |
| 2001-12-17 | solved multiple defined moduleIDs in lets | martijnv | 1 | -31/+42 |
| 2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -2/+2 |
| 2001-12-05 | removed type from BasicExpr | johnvg | 1 | -29/+25 |
| 2001-11-30 | store predefined identifiers in CAF | johnvg | 1 | -1/+2 |
| 2001-11-29 | different representation of selector kind in Selection | ronny | 1 | -3/+3 |
| 2001-11-19 | Changes: | martijnv | 1 | -1/+1 |
| 2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -8/+4 |
| 2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -1/+1 |
| 2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -14/+3 |
| 2001-09-13 | Two fixes: (1) error with missing type contexts | sjakie | 1 | -5/+8 |
| 2001-09-07 | Bug fix: Stop after an overloading error occurred | sjakie | 1 | -27/+31 |
| 2001-09-06 | remove fun_index from FunDef | johnvg | 1 | -4/+4 |
| 2001-09-06 | removed usage of fun_index | alimarin | 1 | -2/+11 |
| 2001-08-31 | added code for strict and unboxed lists | johnvg | 1 | -71/+189 |
| 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 |
