Age | Commit message (Expand) | Author | Files | Lines |
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 |
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 |