| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2013-04-04 | add type constraints in dynamic types | johnvg | 1 | -15/+33 |
| 2013-04-02 | add type constraints in constructors and function arguments with universal qu... | johnvg | 1 | -43/+202 |
| 2013-03-25 | fix freshCopy of TFA var (cv :@: types), (cv :@: types) was not copied in thi... | johnvg | 1 | -9/+7 |
| 2012-08-16 | don't copy unmodified types in addPropagationAttributesToAType to reduce memo... | johnvg | 1 | -48/+105 |
| 2012-08-16 | optimize local function new_inequality in determine_attribute_of_cons, | johnvg | 1 | -8/+11 |
| 2012-08-15 | fix coercibility check of instance of classes with a . before a (constructor)... | johnvg | 1 | -4/+4 |
| 2012-08-14 | add extendable algebraic data types (merged from iTask branch) | johnvg | 1 | -25/+90 |
| 2012-08-02 | add pattern match test using =: in expressions, | johnvg | 1 | -1/+12 |
| 2012-05-07 | fix incorrect array index in function cannot_unify | johnvg | 1 | -1/+2 |
| 2012-05-03 | in error message for incorrect field type print name of field instead of argu... | johnvg | 1 | -25/+34 |
| 2012-03-19 | clear me_type_ptr's after type checking, | johnvg | 1 | -4/+14 |
| 2011-12-08 | improve uniqueness error message (by explaining how the 'indicated position' ... | 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 | -1/+1 |
| 2011-11-07 | remove differences in layout between the compiler and the iTask compiler | johnvg | 1 | -196/+213 |
| 2011-04-15 | git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 1f8540f1-abd... | johnvg | 1 | -13/+10 |
| 2011-04-14 | use type FunSpecials instead of Specials for specials of functions | johnvg | 1 | -2/+2 |
| 2011-04-13 | commit more changes for: | johnvg | 1 | -1/+1 |
| 2011-04-08 | fix type checking of existential type variables that are used by a dynamic ex... | johnvg | 1 | -222/+197 |
| 2011-02-11 | use ClassInstanceMember array for ins_members instead of DefinedSymbol array, | johnvg | 1 | -13/+7 |
| 2009-06-15 | report an error if a non unique * annotated type T is inferred in a function ... | johnvg | 1 | -20/+28 |
| 2009-06-05 | fix for existential/universal type variables of kind > * | johnvg | 1 | -37/+25 |
| 2007-09-10 | rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult, | johnvg | 1 | -25/+31 |
| 2007-04-13 | implement newtype | johnvg | 1 | -10/+55 |
| 2007-04-12 | implement {# and {! in array comprehensions that create a new array | johnvg | 1 | -0/+9 |
| 2007-04-11 | remove function updateDynamics, it is unused because over_info | johnvg | 1 | -36/+22 |
| 2007-04-11 | remove cons_index field in pattern in functions that do not use this field | johnvg | 1 | -6/+3 |
| 2007-02-14 | implement qualified explicit imports | johnvg | 1 | -25/+33 |
| 2005-11-01 | prevent crash in 'requirements_of_args' after | johnvg | 1 | -5/+6 |
| 2005-11-01 | fix type error for correct programs using type synonyms with a type variable ... | johnvg | 1 | -11/+13 |
| 2005-10-11 | print types in error messages: 'derived type conflicts with specified type' and | johnvg | 1 | -16/+16 |
| 2005-04-21 | remove support for 1.3 import syntax | johnvg | 1 | -1/+1 |
| 2005-04-20 | function clear_attributes in function freshSymbolType was not called | johnvg | 1 | -1/+1 |
| 2005-01-31 | bug for for update of records with existential variable(s): compare indices | johnvg | 1 | -20/+17 |
| 2005-01-21 | prevent compiler crash in function requirements_of_fields when | johnvg | 1 | -8/+12 |
| 2005-01-20 | first print derived type, then specified type, in error message | johnvg | 1 | -3/+3 |
| 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 |
