aboutsummaryrefslogtreecommitdiff
path: root/frontend/checktypes.icl
AgeCommit message (Expand)AuthorFilesLines
2013-04-05update derive class for deriving generic functions in class context (from iTa...johnvg1-0/+12
2013-04-04add type constraints in dynamic typesjohnvg1-29/+52
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-79/+197
2012-08-14rename extendable to extensiblejohnvg1-2/+2
2012-08-14add extendable algebraic data types (merged from iTask branch)johnvg1-11/+47
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
2011-11-08remove unnecessary imports of module check,johnvg1-2/+2
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-303/+306
2011-09-06remove unused function getGenericDefjohnvg1-9/+0
2011-05-03only allow universal quantifiers at the root of a function argument type,johnvg1-78/+106
2011-04-15git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 1f8540f1-abd...johnvg1-8/+8
2011-04-14use type FunSpecials instead of Specials for specials of functionsjohnvg1-41/+53
2011-03-21remove unused field td_context from type TypeDefjohnvg1-1/+0
2011-02-24more: write generic functions in constructors to .tcl and .typ files,johnvg1-18/+12
2011-02-24git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 1f8540f1-abd...johnvg1-18/+13
2010-07-02pass Ident name instead of Ident to functions to create generic identsjohnvg1-2/+2
2007-11-20do not allow a . before (c a) in the type of a constructor,johnvg1-2/+2
2007-04-19remove unused field cons_arg_vars,johnvg1-20/+9
2007-04-13implement newtypejohnvg1-3/+8
2007-04-11rename field cons_index as cons_numberjohnvg1-2/+2
2007-02-14implement qualified explicit importsjohnvg1-24/+133
2007-02-14remove unused codejohnvg1-22/+2
2005-11-24repair error introduced by previous revision (put symbol table back in state)johnvg1-2/+2
2005-11-24report error for constructors or records with >32 arguments/fieldsjohnvg1-15/+23
2005-04-20add universal attributes in fields of a record type to the st_attr_vars of thejohnvg1-4/+18
2005-02-01prevent compiler crash when a type variable with a ^ is used in ajohnvg1-7/+12
2004-03-17reification of type definitionsronny1-0/+1
2003-10-17added limited support for uniqueness attributes in dynamic typesronny1-4/+16
2003-06-19append a ";" after the name of the record of a dictionaryjohnvg1-2/+5
2003-06-19s/sd__ident/sd_ident/gronny1-1/+1
2003-05-16renamed field names of type Ident in syntax treeronny1-111/+111
2003-02-10- bug fix: generate an error for abstract datatypes in dynamic typesmartijnv1-4/+4
2003-02-10- bug fix: error for abstract datatypes in dynamic types.martijnv1-8/+16
2003-01-08Bug fix: uniqueness error in recordssjakie1-2/+8
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie1-7/+26
2002-10-18add boxed recordsjohnvg1-1/+1
2002-09-24fix bug if a class is used in a type context before the classjohnvg1-23/+28
2002-07-17add abstract synonym typesjohnvg1-0/+3
2002-07-11report an error if a type variable is defined more than once in after 'special'johnvg1-6/+19
2002-06-17removed ignored !'sjohnvg1-1/+1
2002-04-11support for generic type context like inalimarin1-69/+66
2002-03-25new implementation of genericsalimarin1-5/+10
2002-02-06fix bug when using type definition:johnvg1-1/+1
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-36/+71
2002-01-30Ik heb helaas geen flauw idee, maar deze files weken af van wat ik zelf had.sjakie1-12/+18
2002-01-17Bug fix: Scopes in dynamicssjakie1-14/+15
2001-12-17(partial) bug fix, order of class definition and context in another classronny1-4/+15
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-34/+96
2001-10-11Bug fix: type attributes of constructor variables are treated (more) uniformlysjakie1-0/+6
2001-10-08universally quantified attribute variables in typedefs addedsjakie1-11/+17
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 20:41:52 +0000