| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 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 | 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-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 frontend interface | clean | 1 | -2/+2 |
| 2000-07-10 | Improved compatibility with Maarten's Theorem Prover Sources | clean | 6 | -53/+141 |
| 2000-07-10 | optimised consequence checking for explicit imports | martinw | 3 | -448/+421 |
| 2000-07-10 | Restore correct version | clean | 1 | -75/+8 |
| 2000-07-04 | labels global function names without ";n" extension | clean | 3 | -4/+3 |
| 2000-07-03 | removing trace statement | martinw | 1 | -1/+1 |
| 2000-07-03 | no message | clean | 4 | -10/+83 |
| 2000-07-03 | no message | clean | 4 | -9/+3 |
| 2000-06-21 | solving the problem of strict aliases. Now a strict alias | martinw | 6 | -58/+99 |
| 2000-06-21 | bugfix: not only STE_Imported appears in dcls_explicit (and dcls_import?) but | martinw | 1 | -15/+19 |
| 2000-06-20 | reduce memory allocation | clean | 7 | -61/+246 |
| 2000-06-20 | no message | clean | 1 | -1/+2 |
| 2000-06-20 | re-adding dead version | martinw | 1 | -0/+1015 |
| 2000-06-20 | no message | clean | 1 | -1015/+0 |
| 2000-06-16 | now the same type unification algorithm is used for inlining dictionaries | martinw | 1 | -75/+8 |
| 2000-06-16 | added error message "not a record constructor", e.g. in the following case: | martinw | 1 | -0/+3 |
| 2000-06-16 | accepting JVG's changes | martinw | 2 | -25/+1 |
| 2000-06-16 | small changes to reduce memory allocation | clean | 6 | -16/+69 |
| 2000-06-16 | fix another bug in boolean cases that may fail | clean | 1 | -30/+16 |
| 2000-06-15 | MW once added a macro called "SwitchUniquenessBug", Sjaak also added a macro | martinw | 4 | -8/+2 |
| 2000-06-15 | update of dictionary types | sjakie | 7 | -101/+131 |
| 2000-06-14 | correcting tiny change of previous revision | martinw | 1 | -2/+1 |
| 2000-06-14 | bugfix: the compiler was unable to deal with macros that called a local | martinw | 1 | -2/+7 |
| 2000-06-14 | now higher order function elimination works also for imported functions | martinw | 1 | -14/+13 |
| 2000-06-14 | optimisation: compareDefImp now only compares those definitions that are | martinw | 3 | -16/+35 |
