| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2007-11-20 | do not allow a . before (c a) in the type of a constructor, | johnvg | 1 | -2/+2 |
| 2007-04-19 | remove unused field cons_arg_vars, | johnvg | 1 | -20/+9 |
| 2007-04-13 | implement newtype | johnvg | 1 | -3/+8 |
| 2007-04-11 | rename field cons_index as cons_number | johnvg | 1 | -2/+2 |
| 2007-02-14 | implement qualified explicit imports | johnvg | 1 | -24/+133 |
| 2007-02-14 | remove unused code | johnvg | 1 | -22/+2 |
| 2005-11-24 | repair error introduced by previous revision (put symbol table back in state) | johnvg | 1 | -2/+2 |
| 2005-11-24 | report error for constructors or records with >32 arguments/fields | johnvg | 1 | -15/+23 |
| 2005-04-20 | add universal attributes in fields of a record type to the st_attr_vars of the | johnvg | 1 | -4/+18 |
| 2005-02-01 | prevent compiler crash when a type variable with a ^ is used in a | johnvg | 1 | -7/+12 |
| 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 |
