| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2013-04-04 | add type constraints in dynamic types | johnvg | 1 | -10/+27 |
| 2013-04-02 | add type constraints in constructors and function arguments with universal qu... | johnvg | 1 | -6/+335 |
| 2013-03-26 | in function adjust_type_code, add alternative for TCE_Selector, | johnvg | 1 | -1/+6 |
| 2012-08-02 | add pattern match test using =: in expressions, | johnvg | 1 | -2/+5 |
| 2012-06-15 | in substitute use original type (instead of copy) if possible, | johnvg | 1 | -6/+6 |
| 2011-11-10 | move type TypeCodeVariableInfo to module syntax, remove type DynamicValueAlia... | johnvg | 1 | -1/+1 |
| 2011-11-09 | add module expand_types containing some functions from module trans and modul... | johnvg | 1 | -1/+1 |
| 2011-11-08 | rename module StdCompare to compare_types | johnvg | 1 | -1/+1 |
| 2011-11-08 | remove unnecessary imports of module check, | johnvg | 1 | -2/+2 |
| 2011-11-07 | remove differences in layout between the compiler and the iTask compiler | johnvg | 1 | -225/+233 |
| 2011-04-15 | git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 1f8540f1-abd... | johnvg | 1 | -45/+50 |
| 2011-04-08 | fix type checking of existential type variables that are used by a dynamic ex... | johnvg | 1 | -40/+38 |
| 2011-02-11 | use ClassInstanceMember array for ins_members instead of DefinedSymbol array, | johnvg | 1 | -19/+25 |
| 2009-07-01 | prevent compiler crash if a dynamic type contains a type constructor variable, | johnvg | 1 | -16/+18 |
| 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 |
