aboutsummaryrefslogtreecommitdiff
path: root/frontend/checktypes.dcl
AgeCommit message (Expand)AuthorFilesLines
2013-04-04add type constraints in dynamic typesjohnvg1-2/+2
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-2/+2
2011-11-10move type TypeCodeVariableInfo to module syntax, remove type DynamicValueAlia...johnvg1-1/+1
2011-11-08remove differences in layout between the compiler and the iTask compilerjohnvg1-5/+7
2011-04-15git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 1f8540f1-abd...johnvg1-2/+2
2011-04-14use type FunSpecials instead of Specials for specials of functionsjohnvg1-2/+2
2005-11-11remove code for compatibility with Clean 1.3johnvg1-5/+0
2002-03-25new implementation of genericsalimarin1-2/+7
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-2/+2
2001-10-08universally quantified attribute variables in typedefs addedsjakie1-1/+1
2001-09-24removed kind correctness checking modulesjakie1-13/+3
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-4/+4
2001-08-27universally quantified types addedsjakie1-1/+1
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-3/+6
2001-03-13Generics are added, but are disabled.alimarin1-0/+2
2001-03-08Normalizingmartijnv1-1/+1
2001-01-12New algorithm for explicit imports that also works with cyclic module depende...martinw1-0/+3
2000-10-26added new error messagesmartinw1-1/+1
2000-04-26changes to make compiler compatible with itselfmartinw1-0/+3
1999-11-10extension: not necessary to repeat definitions of dcl-module in icl-modulesjakie1-3/+3
1999-10-05Initial importronny1-0/+25