Age | Commit message (Expand) | Author | Files | Lines |
2000-10-26 | added new error messages | martinw | 3 | -10/+46 |
2000-10-26 | added new macro "unsafeFold2St" | martinw | 2 | -0/+16 |
2000-10-26 | removed trace | martinw | 1 | -1/+1 |
2000-10-26 | added error message e.g. | martinw | 1 | -4/+56 |
2000-10-25 | return cache if compilation stops after a certain phase (for Maarten) | johnvg | 1 | -7/+7 |
2000-10-25 | now correct position information is given for error message | martinw | 1 | -18/+28 |
2000-10-25 | improved storing position information | martinw | 1 | -1/+1 |
2000-10-25 | removing some superflous numbers from error messages | martinw | 1 | -6/+6 |
2000-10-25 | adding error message:left root * attribute expected | martinw | 1 | -2/+78 |
2000-10-23 | renumber icl function and macro indices when unfolding | johnvg | 12 | -430/+549 |
2000-10-18 | improving filename and line number for the following error messages: | martinw | 1 | -4/+8 |
2000-10-18 | moved 3 arguments of expand to ExpandState | johnvg | 2 | -209/+151 |
2000-10-11 | added error messages | martinw | 2 | -2/+14 |
2000-10-11 | adjusting this module to cashing of dcl modules | martinw | 1 | -47/+28 |
2000-10-06 | bugfix | martinw | 1 | -1/+1 |
2000-10-04 | -added position information for let bindings for better error messages | martinw | 11 | -234/+446 |
2000-10-04 | added new function to print function names like "c;102;13" as "comprehesion [... | martinw | 2 | -1/+36 |
2000-10-04 | -added position information for let bindings for better error messages | martinw | 3 | -69/+144 |
2000-10-02 | comment before import RWSDebug | ronny | 1 | -3/+4 |
2000-10-02 | removed ---> operator | martijnv | 1 | -2/+2 |
2000-09-29 | fixed call of frontEndInterface | clean | 1 | -6/+6 |
2000-09-27 | removing trace statement | martinw | 1 | -1/+1 |
2000-09-27 | making compiler self compatible | martinw | 3 | -60/+91 |
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-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 |