Age | Commit message (Expand) | Author | Files | Lines |
2002-09-24 | bug fix for: abstract or synonym type with different number | johnvg | 1 | -36/+44 |
2002-07-17 | add abstract synonym types | johnvg | 1 | -0/+6 |
2002-06-17 | removed ignored !'s | johnvg | 1 | -2/+2 |
2002-06-11 | added comparison for TArrow and TArrow1 to comparedefimp | alimarin | 1 | -0/+4 |
2002-04-11 | support for generic type context like in | alimarin | 1 | -0/+9 |
2002-03-25 | new implementation of generics | alimarin | 1 | -5/+34 |
2002-03-20 | bug fix: prevent compiler crash if type in icl module has | johnvg | 1 | -0/+3 |
2002-02-13 | compare strictness annotations of constructors | johnvg | 1 | -1/+1 |
2002-02-08 | add missing alternatives in equal_strictness_lists and | johnvg | 1 | -9/+0 |
2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -5/+46 |
2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -4/+3 |
2001-12-05 | removed type from BasicExpr | johnvg | 1 | -4/+2 |
2001-10-19 | fix bug in renumbering of specials | johnvg | 1 | -10/+8 |
2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -236/+143 |
2001-10-08 | universally quantified attribute variables in typedefs added | sjakie | 1 | -17/+8 |
2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -5/+5 |
2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -20/+351 |
2001-08-31 | added code for OverloadedListPatterns | johnvg | 1 | -0/+2 |
2001-05-11 | moving all switch macros to new module "compilerSwitches" | martinw | 1 | -1/+1 |
2001-05-04 | satisfying John's pervert and bizarre wishes for better error messages | martinw | 1 | -7/+39 |
2001-04-27 | *** empty log message *** | martinw | 1 | -4/+4 |
2001-04-20 | *** empty log message *** | martinw | 1 | -26/+30 |
2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -1/+28 |
2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -1/+2 |
2001-03-15 | *** empty log message *** | martinw | 1 | -0/+3 |
2001-03-02 | bugfix: compiler couldn't detect following inconsistency: | martinw | 1 | -16/+9 |
2001-02-14 | bugfix: the algorithm couldn't handle applications that were (curried) | martinw | 1 | -4/+12 |
2001-02-13 | delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" after | martinw | 1 | -187/+27 |
2001-01-19 | refactoring | martinw | 1 | -30/+63 |
2000-11-01 | changes were necessary due to different numberings due to caching of dcl | martinw | 1 | -6/+15 |
2000-10-23 | renumber icl function and macro indices when unfolding | johnvg | 1 | -5/+6 |
2000-10-11 | adjusting this module to cashing of dcl modules | martinw | 1 | -47/+28 |
2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -2/+12 |
2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -5/+12 |
2000-08-10 | added position information to case defaults to improve type error messages | martinw | 1 | -1/+1 |
2000-06-15 | MW once added a macro called "SwitchUniquenessBug", Sjaak also added a macro | martinw | 1 | -1/+1 |
2000-06-14 | optimisation: compareDefImp now only compares those definitions that are | martinw | 1 | -13/+25 |
2000-06-09 | Added preprocessor directives, so that one and the same source can be | martinw | 1 | -11/+21 |
2000-05-17 | bugfix | martinw | 1 | -5/+12 |
2000-05-03 | bugfix | martinw | 1 | -10/+9 |
2000-04-26 | bugfix | martinw | 1 | -1/+7 |
2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -14/+14 |
2000-04-12 | small bugfix | martinw | 1 | -0/+5 |
2000-03-30 | comparision of redundant macro definitions | martinw | 1 | -45/+53 |
2000-03-24 | bugfixes | martinw | 1 | -3/+5 |
2000-03-17 | - making array patterns strict (strict lets were not properly handled | martinw | 1 | -1/+1 |
2000-03-01 | bugfixes | martinw | 1 | -72/+105 |
2000-02-21 | - implemented comparison between redundant definitions in icl and dcl modules | martinw | 1 | -0/+964 |