| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2004-03-17 | reification of type definitions | ronny | 1 | -0/+1 |
| 2003-10-17 | added limited support for uniqueness attributes in dynamic types | ronny | 1 | -4/+16 |
| 2003-06-19 | append a ";" after the name of the record of a dictionary | johnvg | 1 | -2/+5 |
| 2003-06-19 | s/sd__ident/sd_ident/g | ronny | 1 | -1/+1 |
| 2003-05-16 | renamed field names of type Ident in syntax tree | ronny | 1 | -111/+111 |
| 2003-02-10 | - bug fix: generate an error for abstract datatypes in dynamic types | martijnv | 1 | -4/+4 |
| 2003-02-10 | - bug fix: error for abstract datatypes in dynamic types. | martijnv | 1 | -8/+16 |
| 2003-01-08 | Bug fix: uniqueness error in records | sjakie | 1 | -2/+8 |
| 2002-10-30 | Removed at least 4 bugs (maybe more, but i can't remember): | sjakie | 1 | -7/+26 |
| 2002-10-18 | add boxed records | johnvg | 1 | -1/+1 |
| 2002-09-24 | fix bug if a class is used in a type context before the class | johnvg | 1 | -23/+28 |
| 2002-07-17 | add abstract synonym types | johnvg | 1 | -0/+3 |
| 2002-07-11 | report an error if a type variable is defined more than once in after 'special' | johnvg | 1 | -6/+19 |
| 2002-06-17 | removed ignored !'s | johnvg | 1 | -1/+1 |
| 2002-04-11 | support for generic type context like in | alimarin | 1 | -69/+66 |
| 2002-03-25 | new implementation of generics | alimarin | 1 | -5/+10 |
| 2002-02-06 | fix bug when using type definition: | johnvg | 1 | -1/+1 |
| 2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -36/+71 |
| 2002-01-30 | Ik heb helaas geen flauw idee, maar deze files weken af van wat ik zelf had. | sjakie | 1 | -12/+18 |
| 2002-01-17 | Bug fix: Scopes in dynamics | sjakie | 1 | -14/+15 |
| 2001-12-17 | (partial) bug fix, order of class definition and context in another class | ronny | 1 | -4/+15 |
| 2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -34/+96 |
| 2001-10-11 | Bug fix: type attributes of constructor variables are treated (more) uniformly | sjakie | 1 | -0/+6 |
| 2001-10-08 | universally quantified attribute variables in typedefs added | sjakie | 1 | -11/+17 |
| 2001-10-05 | Added existential attribute variables to type definitions | sjakie | 1 | -13/+40 |
| 2001-09-24 | removed kind correctness checking module | sjakie | 1 | -100/+72 |
| 2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -363/+145 |
| 2001-09-06 | bug fix: Improved unification algoritm for kinds | sjakie | 1 | -1/+2 |
| 2001-08-31 | add type for function checkSpecialTypes | johnvg | 1 | -4/+3 |
| 2001-08-30 | bug fix in universally quantified types | sjakie | 1 | -1/+2 |
| 2001-08-27 | Universally quantified types added | sjakie | 1 | -111/+153 |
| 2001-07-19 | Added "curried" arrow types (->) and ((->) a) | alimarin | 1 | -1/+91 |
| 2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -4/+5 |
| 2001-05-18 | revision 1.31 was stupid nonsense | martinw | 1 | -1/+3 |
| 2001-05-11 | improving error message | martinw | 1 | -1/+4 |
| 2001-05-10 | bug fixes: | martijnv | 1 | -7/+7 |
| 2001-05-04 | bugfix: compiler crash at | martinw | 1 | -2/+2 |
| 2001-04-27 | bugfix: now | martinw | 1 | -1/+1 |
| 2001-04-25 | added support for constructors (for toString like usage), | alimarin | 1 | -2/+2 |
| 2001-04-20 | pepping up error messages | martinw | 1 | -17/+17 |
| 2001-03-27 | uniqueness support is added to generics | alimarin | 1 | -4/+4 |
| 2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -2/+24 |
| 2001-03-26 | Return TE in 'bindtypes' for 'Type' instead of TA with | johnvg | 1 | -2/+2 |
| 2001-03-26 | bug fix in nf | martijnv | 1 | -1/+1 |
| 2001-03-23 | fixing several bugs | martinw | 1 | -1/+9 |
| 2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -65/+122 |
| 2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -19/+3 |
| 2001-03-08 | Normalizing | martijnv | 1 | -29/+70 |
| 2001-02-13 | delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" after | martinw | 1 | -8/+0 |
| 2001-01-19 | refactoring | martinw | 1 | -2/+2 |
