| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2008-04-09 | report an error if a type context is specified multiple times in a function type | johnvg | 1 | -5/+8 |
| 2007-04-13 | implement newtype | johnvg | 1 | -3/+136 |
| 2007-04-12 | implement {# and {! in array comprehensions that create a new array | johnvg | 1 | -0/+2 |
| 2007-04-11 | remove function updateDynamics, it is unused because over_info | johnvg | 1 | -42/+2 |
| 2007-04-11 | remove updateExpression instance for removed type | johnvg | 1 | -7/+0 |
| 2006-11-23 | fix bug that may occur if a TC class is used in a context of a class, that | johnvg | 1 | -1/+1 |
| 2006-11-01 | allow TC to be used in the context of a class definition (e.g. class C a | TC a) | johnvg | 1 | -22/+29 |
| 2004-04-19 | remove TC; types | ronny | 1 | -22/+6 |
| 2004-03-17 | reification of type definitions | ronny | 1 | -1/+11 |
| 2003-10-17 | added limited support for uniqueness attributes in dynamic types | ronny | 1 | -1/+6 |
| 2003-09-17 | removed unused var_heap parameter | ronny | 1 | -20/+20 |
| 2003-09-16 | removed boolean result from substituteType and substitute: they | ronny | 1 | -5/+5 |
| 2003-09-16 | added function types | ronny | 1 | -6/+44 |
| 2003-09-16 | code cleanup: introduced records for info and state parameters | ronny | 1 | -138/+159 |
| 2003-09-15 | removed exported type definitions from icl module | ronny | 1 | -44/+4 |
| 2003-08-22 | also expand synonym types in dynamics for TAS by reusing the TA code | ronny | 1 | -7/+2 |
| 2003-08-20 | removed unnecessary separate fields for universal variables, | ronny | 1 | -6/+6 |
| 2003-08-19 | removed unused administrations | ronny | 1 | -103/+45 |
| 2003-05-16 | renamed field names of type Ident in syntax tree | ronny | 1 | -107/+107 |
| 2003-02-10 | - bug fix: generate an error for abstract datatypes in dynamic types | martijnv | 1 | -0/+3 |
| 2003-02-10 | - bug fix: error for abstract datatypes in dynamic types. | martijnv | 1 | -19/+36 |
| 2003-02-07 | expand synonym types in dynamics when it's an inferred type | ronny | 1 | -19/+21 |
| 2003-02-06 | - removed: unused argument 'symb_ident' of toTypeCodeExpression | martijnv | 1 | -22/+22 |
| 2003-01-08 | Bug fix: uniqueness error in records | sjakie | 1 | -17/+18 |
| 2002-10-31 | Fix bug where wrong type code constructor was selected. | ronny | 1 | -15/+16 |
| 2002-10-14 | new type code and type code constructor representation | ronny | 1 | -38/+97 |
| 2002-09-19 | bug fixed: check if overloading is solved in type codes, removed some unused ... | ronny | 1 | -50/+26 |
| 2002-09-19 | major rewrite dynamics | ronny | 1 | -139/+21 |
| 2002-07-22 | expand all type synonyms in dynamics | ronny | 1 | -11/+17 |
| 2002-06-17 | removed ignored !'s | johnvg | 1 | -2/+2 |
| 2002-04-11 | support for generic type context like in | alimarin | 1 | -10/+27 |
| 2002-04-04 | - removed strictness annotations | martijnv | 1 | -2/+2 |
| 2002-04-03 | - collection of used type constructors in unify/coerce. There are two sources: | martijnv | 1 | -18/+21 |
| 2002-03-25 | new implementation of generics | alimarin | 1 | -26/+30 |
| 2002-02-26 | Bug fix: Dictionary arguments were not passed correctly to other dictionaries | sjakie | 1 | -0/+12 |
| 2002-02-11 | - creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predef | martijnv | 1 | -1/+1 |
| 2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -38/+117 |
| 2002-02-04 | er worden nu universele type variabelen in de vorm van UP_laceHolder's | martijnv | 1 | -3/+7 |
| 2002-01-21 | bug fix: fold2St cannot deal with inifinite lists | martijnv | 1 | -4/+4 |
| 2002-01-17 | Bug fix: Scopes in dynamics | sjakie | 1 | -6/+10 |
| 2001-12-20 | remove RWSDebug dependency | ronny | 1 | -2/+0 |
| 2001-12-17 | solved multiple defined moduleIDs in lets | martijnv | 1 | -31/+42 |
| 2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -2/+2 |
| 2001-12-05 | removed type from BasicExpr | johnvg | 1 | -29/+25 |
| 2001-11-30 | store predefined identifiers in CAF | johnvg | 1 | -1/+2 |
| 2001-11-29 | different representation of selector kind in Selection | ronny | 1 | -3/+3 |
| 2001-11-19 | Changes: | martijnv | 1 | -1/+1 |
| 2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -8/+4 |
| 2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -1/+1 |
| 2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -14/+3 |
