Age | Commit message (Expand) | Author | Files | Lines |
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 |
2000-06-09 | bugfix in trans. utilites: renaming of mapSt into map_st was necessary, other... | martinw | 1 | -57/+61 |
2000-06-05 | enabled higher order function elimination also for functions (producers) | martinw | 1 | -126/+185 |
2000-05-31 | fixed fusion bug: The algorithm that derived the type for the specialised fun... | martinw | 1 | -59/+100 |
2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -51/+72 |
2000-03-20 | *** empty log message *** | sjakie | 1 | -45/+68 |
2000-03-17 | - making array patterns strict (strict lets were not properly handled | martinw | 1 | -16/+30 |
2000-03-14 | extended array patterns for muitidimensional arrays | martinw | 1 | -15/+17 |
2000-03-01 | bugfixes | martinw | 1 | -18/+9 |
2000-02-21 | - implemented comparison between redundant definitions in icl and dcl modules | martinw | 1 | -5/+1 |
2000-02-15 | added Boolean to FunctionKind to mark genetared functions | ronny | 1 | -1/+1 |
2000-01-19 | check.icl: improving bugfix that yielded revision 1.15 | martinw | 1 | -3/+4 |
2000-01-19 | bug fix (changed syntax tree) | sjakie | 1 | -13/+18 |
2000-01-13 | - check.icl: solved check-bug-11: | martinw | 1 | -0/+4 |
2000-01-03 | compile time pattern matching only took linearity into account but | martinw | 1 | -11/+14 |
1999-12-20 | fixing bug in module trans | martinw | 1 | -2/+45 |
1999-12-03 | completing Sjaak's changes in module trans caused by exchanging the transform... | martinw | 1 | -28/+51 |
1999-12-01 | Several bug fixes: | sjakie | 1 | -2/+2 |
1999-11-29 | bug fix | sjakie | 1 | -11/+22 |
1999-11-23 | change: dynamics are now converted before 'fusion' | sjakie | 1 | -14/+30 |
1999-11-19 | added code for dealing with dynamics | sjakie | 1 | -22/+34 |
1999-11-15 | bugfix in module trans | martinw | 1 | -5/+9 |
1999-11-12 | bug fixes | martinw | 1 | -48/+15 |
1999-11-12 | vergeten, traces wegteheugen | martinw | 1 | -13/+0 |
1999-11-12 | bug fix in trans.icl | martinw | 1 | -17/+6 |
1999-11-08 | bug fix: arity of imported function was incorrect | sjakie | 1 | -1/+5 |
1999-11-05 | fusion works now. The fusion switch in module typesupport is enabled | martinw | 1 | -554/+891 |
1999-10-18 | lots of changes in module trans to make fusion work. | martinw | 1 | -271/+1031 |
1999-10-05 | Initial import | ronny | 1 | -0/+1172 |