aboutsummaryrefslogtreecommitdiff
path: root/frontend/checktypes.icl
AgeCommit message (Expand)AuthorFilesLines
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-8/+0
2001-01-19refactoringmartinw1-2/+2
2001-01-16bug fix: some type context were not explicitly checkedsjakie1-48/+24
2001-01-12New algorithm for explicit imports that also works with cyclic module depende...martinw1-9/+24
2000-10-26added new error messagesmartinw1-6/+41
2000-10-25removing some superflous numbers from error messagesmartinw1-6/+6
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-2/+13
2000-09-20now "list inferred types" can print attributes alsomartinw1-16/+0
2000-08-01bug fix: curried type synomyms are forbiddensjakie1-4/+9
2000-06-20reduce memory allocationclean1-1/+6
2000-06-15MW once added a macro called "SwitchUniquenessBug", Sjaak also added a macromartinw1-1/+1
2000-05-11bug fix (uniqueness attributes)sjakie1-3/+13
2000-04-26changes to make compiler compatible with itselfmartinw1-173/+204
2000-03-17 - making array patterns strict (strict lets were not properly handledmartinw1-7/+2
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-23/+29
2000-02-16buf fix (dictionary types in dcl modules)sjakie1-1/+1
2000-02-07commit for Sjaak by RWSsjakie1-1/+6
2000-01-04introduced new error message: "StdDynamics not imported"martinw1-2/+12
1999-11-10extension: not necessary to repeat definitions of dcl-module in icl-modulesjakie1-35/+35
1999-10-05Initial importronny1-0/+1225
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:54:24 +0000