aboutsummaryrefslogtreecommitdiff
path: root/frontend/checktypes.dcl
AgeCommit message (Expand)AuthorFilesLines
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