Age | Commit message (Expand) | Author | Files | Lines |
2001-06-22 | boolean for explicit cases (cases that are specified by the programmer) | ronny | 1 | -0/+6 |
2001-06-01 | removed import of debug module | johnvg | 1 | -1/+1 |
2001-06-01 | removed import pp in order to make the compiler compilable without my | martijnv | 1 | -1/+1 |
2001-05-31 | Added a switch which generates for an unify/coerce application an extra | martijnv | 1 | -17/+57 |
2001-05-10 | bug fix: unusued dynamics in where/let clauses produced a rule doesn't match | martijnv | 1 | -3/+51 |
2001-04-02 | bug fix in convertTypeCode2 | martijnv | 1 | -1/+15 |
2001-03-28 | minor changes to files associated with dynamics. Most notably is the | martijnv | 1 | -12/+32 |
2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -2/+0 |
2001-03-15 | compiler frontend without writing tcl-files | martijnv | 1 | -6/+15 |
2001-03-15 | changes: | martijnv | 1 | -0/+2 |
2001-03-13 | added 2.0 syntax to type_io.icl | martijnv | 1 | -0/+2 |
2001-03-12 | made module name optional | martijnv | 1 | -1/+4 |
2001-03-08 | Normalizing | martijnv | 1 | -8/+12 |
2001-03-06 | bugfix; selecting a value from a DynamicTemp still used the tuple | martijnv | 1 | -91/+5 |
2001-03-02 | no message | martijnv | 1 | -2/+2 |
2001-03-01 | - type files worden aangemaakt (buggy) | martijnv | 1 | -7/+70 |
2001-02-15 | DynamicTemp added to the compiler. You will be needing a new | martijnv | 1 | -18/+132 |
2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -39/+85 |
2000-10-02 | removed ---> operator | martijnv | 1 | -2/+2 |
2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -3/+3 |
2000-09-26 | Type dependent function implemented | martijnv | 1 | -204/+282 |
2000-09-20 | no message | martijnv | 1 | -103/+282 |
2000-08-18 | dynamic type bug fixed; changes to support theorem prover | martijnv | 1 | -4/+8 |
2000-08-10 | added position information to case defaults to improve type error messages | martinw | 1 | -1/+2 |
2000-08-09 | added position information to case alternatives and changed the typing | martinw | 1 | -1/+2 |
2000-06-06 | coercions added though not complete | martijnv | 1 | -30/+41 |
2000-05-30 | fixed bugs; partially implemented type dependent functions | martijnv | 1 | -1/+59 |
2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -2/+2 |
2000-02-21 | - implemented comparison between redundant definitions in icl and dcl modules | martinw | 1 | -4/+0 |
2000-01-19 | bug fix (changed syntax tree) | sjakie | 1 | -14/+15 |
1999-11-29 | bug fix | sjakie | 1 | -14/+21 |
1999-11-23 | change: dynamics are now converted before 'fusion' | sjakie | 1 | -95/+139 |
1999-11-05 | minor changes | martinw | 1 | -2/+0 |
1999-11-05 | fusion works now. The fusion switch in module typesupport is enabled | martinw | 1 | -0/+2 |
1999-10-05 | Initial import | ronny | 1 | -0/+528 |