Age | Commit message (Expand) | Author | Files | Lines |
2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -16/+31 |
2002-02-04 | er worden nu universele type variabelen in de vorm van UP_laceHolder's | martijnv | 1 | -0/+1 |
2002-01-17 | Bug fix: Scopes in dynamics | sjakie | 1 | -1/+1 |
2002-01-16 | added default alternatives for functions 'is_lazy_or_strict_array' | johnvg | 1 | -0/+4 |
2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -2/+10 |
2001-12-12 | don't allow strict #! lets in macro bodies | ronny | 1 | -2/+103 |
2001-12-12 | enforce that CAFs are non-unique | ronny | 1 | -4/+12 |
2001-12-05 | removed type from BasicExpr | johnvg | 1 | -3/+15 |
2001-11-30 | store predefined identifiers in CAF | johnvg | 1 | -88/+59 |
2001-11-26 | fix explicit imports of cached modules | johnvg | 1 | -19/+120 |
2001-11-08 | bug fix, symbol table was not cleaned up after a error in the types of a dcl ... | ronny | 1 | -1/+5 |
2001-10-19 | higher-order kinded types in generics | alimarin | 1 | -1/+1 |
2001-10-19 | fix bug in renumbering of specials | johnvg | 1 | -32/+25 |
2001-10-18 | make source code clean 2.0 compatible | johnvg | 1 | -2/+9 |
2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -636/+655 |
2001-10-08 | universally quantified attribute variables in typedefs added | sjakie | 1 | -58/+84 |
2001-10-03 | Bug fixes: overloading error, changed the order of dictionaries | sjakie | 1 | -1/+1 |
2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -62/+81 |
2001-10-01 | pass file modification times from icl module and dcl modules to backend | ronny | 1 | -6/+7 |
2001-09-24 | removed kind correctness checking module | sjakie | 1 | -3/+4 |
2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -43/+46 |
2001-09-14 | fix uniqueness bug (again) | johnvg | 1 | -2/+1 |
2001-09-13 | fix uniqueness error | johnvg | 1 | -3/+2 |
2001-09-06 | remove 'dcl_is_cashed' | johnvg | 1 | -2/+1 |
2001-09-06 | check if StdStrictLists is imported | johnvg | 1 | -1/+4 |
2001-09-06 | remove fun_index from FunDef | johnvg | 1 | -34/+17 |
2001-09-06 | removed usage of fun_index | alimarin | 1 | -14/+20 |
2001-09-05 | moved function getBelongingSymbolsFromID from checksupport to explicitimports | johnvg | 1 | -0/+7 |
2001-08-31 | allow specials for lazy and strict arrays and lists without specifying elemen... | johnvg | 1 | -186/+178 |
2001-08-30 | added switch_dynamics in module compilerSwitches. Standard dynamics are | martijnv | 1 | -1/+12 |
2001-08-27 | universally quantified types added | sjakie | 1 | -2/+2 |
2001-08-27 | bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamic | martijnv | 1 | -5/+7 |
2001-07-27 | patch to prevent crash with undefined type variabeles in special declaration | ronny | 1 | -0/+16 |
2001-07-19 | Added "curried" arrow types (->) and ((->) a) | alimarin | 1 | -2/+5 |
2001-06-25 | generate .depend for current dcl module | ronny | 1 | -0/+4 |
2001-06-20 | optimise && and || | johnvg | 1 | -5/+13 |
2001-06-15 | making kind checking phase compatible with dcl caching | martinw | 1 | -9/+12 |
2001-06-14 | support for module system is added to genercis | alimarin | 1 | -44/+105 |
2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -0/+1 |
2001-06-05 | for error messages in patterns use line number of the alternative, | johnvg | 1 | -20/+16 |
2001-05-31 | added mechanism to generate a module id for each module. Fixed an index | martijnv | 1 | -0/+22 |
2001-05-11 | checking the kinds of all function-, instance-, class- and member-types | martinw | 1 | -51/+1 |
2001-05-10 | bug fixes: | martijnv | 1 | -1/+1 |
2001-05-08 | added fields to cons_info and type_info | alimarin | 1 | -2/+4 |
2001-05-04 | satisfying John's pervert and bizarre wishes for better error messages | martinw | 1 | -3/+14 |
2001-05-03 | added preliminary support for cons info by type | alimarin | 1 | -0/+2 |
2001-04-27 | new error message for "instance c U": | martinw | 1 | -21/+92 |
2001-04-25 | added support for constructors (for toString like usage), | alimarin | 1 | -5/+23 |
2001-04-20 | pepping up error messages | martinw | 1 | -12/+42 |
2001-03-27 | uniqueness support is added to generics | alimarin | 1 | -89/+28 |