aboutsummaryrefslogtreecommitdiff
path: root/frontend/comparedefimp.icl
AgeCommit message (Expand)AuthorFilesLines
2002-11-12bugs fixed in genericsalimarin1-0/+6
2002-10-18add boxed recordsjohnvg1-2/+2
2002-09-24bug fix for: abstract or synonym type with different numberjohnvg1-36/+44
2002-07-17add abstract synonym typesjohnvg1-0/+6
2002-06-17removed ignored !'sjohnvg1-2/+2
2002-06-11added comparison for TArrow and TArrow1 to comparedefimpalimarin1-0/+4
2002-04-11support for generic type context like inalimarin1-0/+9
2002-03-25new implementation of genericsalimarin1-5/+34
2002-03-20bug fix: prevent compiler crash if type in icl module hasjohnvg1-0/+3
2002-02-13compare strictness annotations of constructorsjohnvg1-1/+1
2002-02-08add missing alternatives in equal_strictness_lists andjohnvg1-9/+0
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-5/+46
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-4/+3
2001-12-05removed type from BasicExprjohnvg1-4/+2
2001-10-19fix bug in renumbering of specialsjohnvg1-10/+8
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-236/+143
2001-10-08universally quantified attribute variables in typedefs addedsjakie1-17/+8
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-5/+5
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-20/+351
2001-08-31added code for OverloadedListPatternsjohnvg1-0/+2
2001-05-11moving all switch macros to new module "compilerSwitches"martinw1-1/+1
2001-05-04satisfying John's pervert and bizarre wishes for better error messagesmartinw1-7/+39
2001-04-27*** empty log message ***martinw1-4/+4
2001-04-20*** empty log message ***martinw1-26/+30
2001-03-27unfold all macros and local functions in macrosjohnvg1-1/+28
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-1/+2
2001-03-15*** empty log message ***martinw1-0/+3
2001-03-02bugfix: compiler couldn't detect following inconsistency:martinw1-16/+9
2001-02-14bugfix: the algorithm couldn't handle applications that were (curried)martinw1-4/+12
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-187/+27
2001-01-19refactoringmartinw1-30/+63
2000-11-01changes were necessary due to different numberings due to caching of dclmartinw1-6/+15
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-5/+6
2000-10-11adjusting this module to cashing of dcl modulesmartinw1-47/+28
2000-10-04-added position information for let bindings for better error messagesmartinw1-2/+12
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-5/+12
2000-08-10added position information to case defaults to improve type error messagesmartinw1-1/+1
2000-06-15MW once added a macro called "SwitchUniquenessBug", Sjaak also added a macromartinw1-1/+1
2000-06-14optimisation: compareDefImp now only compares those definitions that aremartinw1-13/+25
2000-06-09Added preprocessor directives, so that one and the same source can bemartinw1-11/+21
2000-05-17bugfixmartinw1-5/+12
2000-05-03bugfixmartinw1-10/+9
2000-04-26bugfixmartinw1-1/+7
2000-04-26changes to make compiler compatible with itselfmartinw1-14/+14
2000-04-12small bugfixmartinw1-0/+5
2000-03-30comparision of redundant macro definitionsmartinw1-45/+53
2000-03-24bugfixesmartinw1-3/+5
2000-03-17 - making array patterns strict (strict lets were not properly handledmartinw1-1/+1
2000-03-01bugfixesmartinw1-72/+105
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-0/+964
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 21:35:16 +0000