| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2002-02-11 | class type variables bugfix | diederik | 1 | -7/+14 |
| 2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -99/+154 |
| 2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -5/+5 |
| 2001-12-05 | removed type from BasicExpr | johnvg | 1 | -83/+79 |
| 2001-11-29 | different representation of selector kind in Selection | ronny | 1 | -9/+9 |
| 2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -29/+26 |
| 2001-10-12 | added alternative for OverloadedListPatterns in producerRequirements | johnvg | 1 | -0/+3 |
| 2001-10-12 | Fusion fixes; should terminate now. | diederik | 1 | -79/+205 |
| 2001-10-03 | Reduce memory usage of mark_producer_safe | diederik | 1 | -100/+121 |
| 2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -1/+1 |
| 2001-10-01 | Add producer class for fusion | diederik | 1 | -13/+273 |
| 2001-10-01 | Add fusion commandline flag | diederik | 1 | -60/+76 |
| 2001-09-11 | reduced memory usage of expandSynTypes | johnvg | 1 | -36/+52 |
| 2001-09-11 | pass TypeSymbIdent boxed in TA to function 'expand_syn_types_in_TA' instead o... | johnvg | 1 | -4/+4 |
| 2001-09-06 | remove fun_index from FunDef | johnvg | 1 | -5/+4 |
| 2001-08-31 | added code for strict and unboxed lists | johnvg | 1 | -43/+172 |
| 2001-08-27 | Universally quantified types added | sjakie | 1 | -0/+5 |
| 2001-06-29 | cleaning up | martinw | 1 | -41/+4 |
| 2001-06-22 | boolean for explicit cases (cases that are specified by the programmer) | ronny | 1 | -0/+3 |
| 2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -6/+9 |
| 2001-05-30 | in 'transform' of trans.icl also transform expressions in selections of an Up... | johnvg | 1 | -0/+17 |
| 2001-05-30 | added alternatives to function 'transform' for Update,RecordUpdate,TupleSelec... | johnvg | 1 | -1/+21 |
| 2001-05-11 | moving all switch macros to new module "compilerSwitches" | martinw | 1 | -1/+2 |
| 2001-05-08 | moved ImportedFunctions from convertcases to trans | ronny | 1 | -0/+1 |
| 2001-04-20 | bugfix concerning dictionaries that contain let expressions | martinw | 1 | -18/+18 |
| 2001-03-28 | uniqueness support is added to generics | alimarin | 1 | -6/+0 |
| 2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -5/+7 |
| 2001-03-23 | fixing several bugs | martinw | 1 | -27/+41 |
| 2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -48/+58 |
| 2001-03-15 | *** empty log message *** | martinw | 1 | -44/+108 |
| 2001-03-02 | bugfix for specialisations | martinw | 1 | -34/+64 |
| 2001-02-13 | delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" after | martinw | 1 | -21/+18 |
| 2001-01-19 | uniqueness unification for types of functions that are generated | martinw | 1 | -452/+632 |
| 2000-10-23 | renumber icl function and macro indices when unfolding | johnvg | 1 | -19/+20 |
| 2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -69/+115 |
| 2000-09-27 | making compiler self compatible | martinw | 1 | -41/+69 |
| 2000-09-26 | removing stuff that once dealt with dynamics | martinw | 1 | -49/+14 |
| 2000-09-22 | fixed bug in type unification | martinw | 1 | -6/+10 |
| 2000-09-20 | improving bufix from revision 1.39 | martinw | 1 | -8/+3 |
| 2000-09-13 | fixed following bug: | martinw | 1 | -13/+12 |
| 2000-08-18 | dynamic type bug fixed; changes to support theorem prover | martijnv | 1 | -4/+22 |
| 2000-08-16 | restoring revision 1.35, revision 1.36 was unintended | martinw | 1 | -190/+2 |
| 2000-08-16 | ConsVariables were not handled correctly within improved type error messages | martinw | 1 | -1/+189 |
| 2000-08-10 | added position information to case defaults to improve type error messages | martinw | 1 | -1/+2 |
| 2000-08-04 | bugfix: types that were associated with case and let expressions were not | martinw | 1 | -29/+30 |
| 2000-07-10 | Restore correct version | clean | 1 | -75/+8 |
| 2000-07-03 | no message | clean | 1 | -8/+75 |
| 2000-06-16 | now the same type unification algorithm is used for inlining dictionaries | martinw | 1 | -75/+8 |
| 2000-06-14 | now higher order function elimination works also for imported functions | martinw | 1 | -14/+13 |
| 2000-06-13 | bugfix: the type unification algorithm used to generate types for new functio... | martinw | 1 | -97/+121 |
