| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2003-09-16 | removed boolean result from substituteType and substitute: they | ronny | 1 | -2/+2 |
| 2003-08-19 | removed unused administrations | ronny | 1 | -26/+23 |
| 2003-06-26 | bug fix: forbid overload CAFs (fixes bug #22) | ronny | 1 | -2/+10 |
| 2003-06-18 | removed trace statement | ronny | 1 | -1/+1 |
| 2003-06-06 | Bug fixs in universally quantified types: Attribute variables of universal ty... | sjakie | 1 | -0/+13 |
| 2003-05-16 | renamed field names of type Ident in syntax tree | ronny | 1 | -69/+69 |
| 2003-02-24 | added fusion of unboxed lists of records, moved | johnvg | 1 | -1/+1 |
| 2003-01-08 | Bug fix: uniqueness error in records | sjakie | 1 | -7/+13 |
| 2002-11-29 | remove // before some function type definitions | johnvg | 1 | -3/+3 |
| 2002-11-13 | Removed bugs in analysis of abstract data types and adjusted typing of record... | sjakie | 1 | -19/+69 |
| 2002-10-30 | Removed at least 4 bugs (maybe more, but i can't remember): | sjakie | 1 | -1/+4 |
| 2002-10-14 | new type code and type code constructor representation | ronny | 1 | -2/+2 |
| 2002-10-07 | clear type propagation info from var heap | diederik | 1 | -0/+19 |
| 2002-09-24 | removed unused ts_td_infos field in two patterns | johnvg | 1 | -2/+2 |
| 2002-07-22 | expand all type synonyms in dynamics | ronny | 1 | -6/+11 |
| 2002-07-12 | fix argument numbers in error messages of functions with | johnvg | 1 | -56/+83 |
| 2002-06-17 | removed ignored !'s | johnvg | 1 | -1/+1 |
| 2002-06-03 | added constructor/type/field information to generics | alimarin | 1 | -0/+1 |
| 2002-04-11 | support for generic type context like in | alimarin | 1 | -4/+6 |
| 2002-04-03 | - collection of used type constructors in unify/coerce. There are two sources: | martijnv | 1 | -9/+14 |
| 2002-03-25 | new implementation of generics | alimarin | 1 | -17/+28 |
| 2002-03-04 | add missing case for TAS constructor (for strict lists) | johnvg | 1 | -1/+3 |
| 2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -104/+173 |
| 2002-01-30 | Ik heb helaas geen flauw idee, maar deze files weken af van wat ik zelf had. | sjakie | 1 | -52/+95 |
| 2002-01-17 | Bug fix: Scopes in dynamics | sjakie | 1 | -13/+18 |
| 2001-12-17 | implement pattern matching of strict, unboxed and overloaded lists | johnvg | 1 | -11/+17 |
| 2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -11/+10 |
| 2001-12-12 | enforce that CAFs are non-unique | ronny | 1 | -6/+6 |
| 2001-12-11 | pass SymbIdent instead of Ident to requirements_of_args to | johnvg | 1 | -3/+3 |
| 2001-12-05 | removed type from BasicExpr | johnvg | 1 | -29/+44 |
| 2001-12-03 | bug fix: uniqueness error in nested record/array updates | ronny | 1 | -12/+41 |
| 2001-11-30 | store predefined identifiers in CAF | johnvg | 1 | -5/+10 |
| 2001-11-29 | different representation of selector kind in Selection | ronny | 1 | -3/+3 |
| 2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -4/+4 |
| 2001-10-08 | universally quantified attribute variables in typedefs added | sjakie | 1 | -7/+26 |
| 2001-10-05 | Added existential attribute variables to type definitions | sjakie | 1 | -48/+66 |
| 2001-10-03 | replace uniqueCopy with copyCoercions | ronny | 1 | -8/+1 |
| 2001-10-03 | fixed type error by reintroducing uniqueCopy | ronny | 1 | -1/+8 |
| 2001-10-03 | eliminated cheat module | ronny | 1 | -2/+2 |
| 2001-10-02 | removed uniqueness errors | sjakie | 1 | -2/+2 |
| 2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -37/+42 |
| 2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -2/+2 |
| 2001-09-06 | bug fix: Improved unification algoritm for kinds | sjakie | 1 | -10/+10 |
| 2001-09-06 | remove fun_index from FunDef | johnvg | 1 | -6/+2 |
| 2001-09-06 | removed usage of fun_index | alimarin | 1 | -1/+17 |
| 2001-09-03 | comment out debug messages | johnvg | 1 | -2/+2 |
| 2001-08-31 | type strict and unboxed lists | johnvg | 1 | -124/+248 |
| 2001-08-28 | Universally quantified types added | sjakie | 1 | -8/+15 |
| 2001-08-27 | Universally quantified types added | sjakie | 1 | -117/+198 |
| 2001-07-19 | Added "curried" arrow types (->) and ((->) a) | alimarin | 1 | -3/+62 |
