Age | Commit message (Expand) | Author | Files | Lines |
2003-05-16 | renamed field names of type Ident in syntax tree | ronny | 1 | -123/+123 |
2002-02-07 | initialise st_args_strictness in unused function for Clean 2.0 | johnvg | 1 | -0/+1 |
2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -6/+6 |
2002-01-17 | Bug fix: Scopes in dynamics | sjakie | 1 | -1/+0 |
2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -3/+3 |
2001-12-05 | removed type from BasicExpr | johnvg | 1 | -13/+11 |
2001-11-30 | store predefined identifiers in CAF | johnvg | 1 | -8/+15 |
2001-11-29 | different representation of selector kind in Selection | ronny | 1 | -2/+2 |
2001-11-21 | new explicit import syntax | johnvg | 1 | -1/+6 |
2001-11-09 | collecting fi_calls | alimarin | 1 | -39/+86 |
2001-11-01 | fixed strictness annotation | ronny | 1 | -1/+1 |
2001-10-19 | higher-order kinded types in generics | alimarin | 1 | -161/+472 |
2001-10-18 | make source clean 2.0 compatible | johnvg | 1 | -14/+4 |
2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -21/+35 |
2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -4/+7 |
2001-09-24 | removed kind correctness checking module | sjakie | 1 | -13/+12 |
2001-09-21 | *** empty log message *** | sjakie | 1 | -7/+8 |
2001-09-06 | added command line flag to enable generics | alimarin | 1 | -13/+0 |
2001-09-06 | remove fun_index from FunDef | johnvg | 1 | -1/+0 |
2001-09-06 | removed usage of fun_index | alimarin | 1 | -159/+529 |
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 | -12/+16 |
2001-07-19 | Added "curried" arrow types (->) and ((->) a) | alimarin | 1 | -294/+295 |
2001-06-22 | boolean for explicit cases (cases that are specified by the programmer) | ronny | 1 | -0/+3 |
2001-06-20 | optimise && and || | johnvg | 1 | -5/+6 |
2001-06-15 | making kind checking phase compatible with dcl caching | martinw | 1 | -2/+4 |
2001-06-14 | support for module system is added to genercis | alimarin | 1 | -98/+244 |
2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -2/+2 |
2001-05-10 | changed last field of CollectState into cos_used_dynamics which reflects | martijnv | 1 | -1/+1 |
2001-05-10 | bug fixes: | martijnv | 1 | -0/+3 |
2001-05-08 | added fields to cons_info and type_info | alimarin | 1 | -188/+320 |
2001-05-04 | Clean 2.0 compiler bug workaround | ronny | 1 | -0/+6 |
2001-05-03 | added preliminary support for cons info by type | alimarin | 1 | -90/+444 |
2001-04-27 | new error message for "instance c U": | martinw | 1 | -2/+2 |
2001-04-25 | added support for constructors (for toString like usage), | alimarin | 1 | -302/+786 |
2001-03-27 | uniqueness support is added to generics | alimarin | 1 | -219/+426 |
2001-03-23 | fixing several bugs | martinw | 1 | -10/+10 |
2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -1/+2 |
2001-03-15 | *** empty log message *** | martinw | 1 | -2/+1 |
2001-03-15 | Fixes to compile with 2.0 | alimarin | 1 | -92/+187 |
2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -0/+2044 |