| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2000-09-27 | caching of dcl modules | clean | 1 | -29/+93 |
| 2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 35 | -702/+2190 |
| 2000-09-26 | bugfix: list inferred types printed types like f :: .[.a] instead of | martinw | 2 | -13/+25 |
| 2000-09-26 | removing stuff that once dealt with dynamics | martinw | 1 | -49/+14 |
| 2000-09-26 | Type dependent function implemented | martijnv | 1 | -204/+282 |
| 2000-09-26 | bugfix | martinw | 1 | -1/+1 |
| 2000-09-25 | fix clean 2.0 preprocessor hack syntax | clean | 2 | -2/+2 |
| 2000-09-25 | optimize memory allocation of nilPtr | clean | 1 | -1/+5 |
| 2000-09-25 | added arrayCopyBegin | clean | 2 | -0/+30 |
| 2000-09-22 | error messages become more and more beautiful | martinw | 1 | -69/+93 |
| 2000-09-22 | fixed bug in type unification | martinw | 1 | -6/+10 |
| 2000-09-21 | now "list inferred types" can print attributes also | martinw | 1 | -1/+2 |
| 2000-09-20 | *** empty log message *** | martinw | 1 | -2/+4 |
| 2000-09-20 | now "list inferred types" can print attributes also | martinw | 10 | -53/+424 |
| 2000-09-20 | changed signature of readPtr from "unique" into "possibly unique" | martinw | 2 | -2/+2 |
| 2000-09-20 | improving error messages: | martinw | 1 | -9/+31 |
| 2000-09-20 | improving bufix from revision 1.39 | martinw | 1 | -8/+3 |
| 2000-09-20 | new Bag type: :: Bag x = Pair (Bag x) (Bag x) | Single x | Empty | martinw | 2 | -0/+35 |
| 2000-09-20 | no message | martijnv | 1 | -103/+282 |
| 2000-09-13 | added position information for better error messages | martinw | 5 | -33/+65 |
| 2000-09-13 | fixed following bug: | martinw | 2 | -16/+13 |
| 2000-09-13 | bug fix: error in existentional types | sjakie | 2 | -4/+13 |
| 2000-09-12 | small bugfix | martinw | 1 | -0/+1 |
| 2000-09-12 | small bugfix | martinw | 1 | -0/+9 |
| 2000-08-29 | adjusted treatment of lazy and strict array functions | sjakie | 2 | -12/+36 |
| 2000-08-21 | no message | martijnv | 2 | -7/+38 |
| 2000-08-18 | *** empty log message *** | martinw | 1 | -0/+2 |
| 2000-08-18 | dynamic type bug fixed; changes to support theorem prover | martijnv | 5 | -10/+46 |
| 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 | 4 | -20/+233 |
| 2000-08-15 | adding "list inferred types" option | martinw | 1 | -2/+2 |
| 2000-08-15 | improved typing error messages: type variables are printed like "a" instead | martinw | 17 | -226/+434 |
| 2000-08-10 | added position information to case defaults to improve type error messages | martinw | 9 | -52/+122 |
| 2000-08-09 | added position information to case alternatives and changed the typing | martinw | 6 | -96/+281 |
| 2000-08-07 | removing superfluous constructor | martinw | 2 | -2/+0 |
| 2000-08-04 | bugfix: types that were associated with case and let expressions were not | martinw | 1 | -29/+30 |
| 2000-08-02 | comment MW3 removed; minor improvements | sjakie | 3 | -78/+32 |
| 2000-08-01 | improving error messages | martinw | 14 | -88/+245 |
| 2000-08-01 | bug fix: curried type synomyms are forbidden | sjakie | 1 | -4/+9 |
| 2000-08-01 | forgotten te remove debugging statements | sjakie | 1 | -2/+2 |
| 2000-08-01 | bug fix in merging cases | sjakie | 1 | -46/+97 |
| 2000-07-14 | De predefined symbols worden in check.icl aangepast. Het | martijnv | 1 | -0/+3 |
| 2000-07-14 | Removed back end spelling inconsistencies (except for syntax:BackendBody, whi... | clean | 4 | -70/+74 |
| 2000-07-14 | Removed MW comments | clean | 4 | -183/+0 |
| 2000-07-12 | clean 1.3.3 backend again again | clean | 97 | -0/+48806 |
| 2000-07-12 | changes to avoid bug in module refmark when compiling compiler with itself | martinw | 1 | -0/+20 |
| 2000-07-11 | fixed bug in 'case_is_partial' | clean | 1 | -2/+21 |
| 2000-07-11 | Fixed call to changed front end interface | clean | 1 | -7/+4 |
| 2000-07-11 | Fixed call to changed frontend interface | clean | 1 | -2/+2 |
| 2000-07-10 | Improved compatibility with Maarten's Theorem Prover Sources | clean | 6 | -53/+141 |
