| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2017-02-27 | check imports of types that occur only in a cached definition module, | johnvg | 1 | -2/+56 |
| 2013-04-05 | update derive class for deriving generic functions in class context (from iTa... | johnvg | 1 | -0/+12 |
| 2013-04-04 | add type constraints in dynamic types | johnvg | 1 | -29/+52 |
| 2013-04-02 | add type constraints in constructors and function arguments with universal qu... | johnvg | 1 | -79/+197 |
| 2012-08-14 | rename extendable to extensible | johnvg | 1 | -2/+2 |
| 2012-08-14 | add extendable algebraic data types (merged from iTask branch) | johnvg | 1 | -11/+47 |
| 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-04 | remove differences in layout between the compiler and the iTask compiler | johnvg | 1 | -303/+306 |
| 2011-09-06 | remove unused function getGenericDef | johnvg | 1 | -9/+0 |
| 2011-05-03 | only allow universal quantifiers at the root of a function argument type, | johnvg | 1 | -78/+106 |
| 2011-04-15 | git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 1f8540f1-abd... | johnvg | 1 | -8/+8 |
| 2011-04-14 | use type FunSpecials instead of Specials for specials of functions | johnvg | 1 | -41/+53 |
| 2011-03-21 | remove unused field td_context from type TypeDef | johnvg | 1 | -1/+0 |
| 2011-02-24 | more: write generic functions in constructors to .tcl and .typ files, | johnvg | 1 | -18/+12 |
| 2011-02-24 | git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 1f8540f1-abd... | johnvg | 1 | -18/+13 |
| 2010-07-02 | pass Ident name instead of Ident to functions to create generic idents | johnvg | 1 | -2/+2 |
| 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 |
