aboutsummaryrefslogtreecommitdiff
path: root/frontend/checktypes.icl
AgeCommit message (Expand)AuthorFilesLines
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
2001-10-05Added existential attribute variables to type definitionssjakie1-13/+40
2001-09-24removed kind correctness checking modulesjakie1-100/+72
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-363/+145
2001-09-06bug fix: Improved unification algoritm for kindssjakie1-1/+2
2001-08-31add type for function checkSpecialTypesjohnvg1-4/+3
2001-08-30bug fix in universally quantified typessjakie1-1/+2
2001-08-27Universally quantified types addedsjakie1-111/+153
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-1/+91
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-4/+5
2001-05-18revision 1.31 was stupid nonsensemartinw1-1/+3
2001-05-11improving error messagemartinw1-1/+4
2001-05-10bug fixes:martijnv1-7/+7
2001-05-04bugfix: compiler crash atmartinw1-2/+2
2001-04-27bugfix: nowmartinw1-1/+1
2001-04-25added support for constructors (for toString like usage),alimarin1-2/+2
2001-04-20pepping up error messagesmartinw1-17/+17
2001-03-27uniqueness support is added to genericsalimarin1-4/+4
2001-03-27unfold all macros and local functions in macrosjohnvg1-2/+24
2001-03-26Return TE in 'bindtypes' for 'Type' instead of TA withjohnvg1-2/+2
2001-03-26bug fix in nfmartijnv1-1/+1
2001-03-23fixing several bugsmartinw1-1/+9
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-65/+122
2001-03-13Generics are added, but are disabled.alimarin1-19/+3
2001-03-08Normalizingmartijnv1-29/+70
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 22:30:19 +0000