| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2001-06-15 | Bug fix. Free type variables were referenced but not defined. | martijnv | 1 | -0/+2 |
| 2001-06-15 | making kind checking phase compatible with dcl caching | martinw | 1 | -0/+1 |
| 2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -3/+3 |
| 2001-06-06 | removed code that prints the pointer in instance <<< | johnvg | 1 | -2/+2 |
| 2001-05-30 | detect in 'postparse' when the definition module corresponding | johnvg | 1 | -1/+1 |
| 2001-05-30 | optimize array comprehensions, | johnvg | 1 | -2/+2 |
| 2001-05-11 | moving all switch macros to new module "compilerSwitches" | martinw | 1 | -9/+6 |
| 2001-05-10 | bug fixes: | martijnv | 1 | -1/+1 |
| 2001-05-08 | added VI_Labelled_Empty and VI_LocalLetVar to VarInfo | ronny | 1 | -0/+3 |
| 2001-05-03 | Flag to turn generics on and off (SupportGenerics), default off | ronny | 1 | -0/+1 |
| 2001-05-03 | added preliminary support for cons info by type | alimarin | 1 | -1/+5 |
| 2001-04-25 | added support for constructors (for toString like usage), | alimarin | 1 | -0/+2 |
| 2001-04-20 | bugfix: the compiler recognized f in the following example as a node and | martinw | 1 | -1/+1 |
| 2001-03-28 | added TVI_Normalized | martijnv | 1 | -0/+1 |
| 2001-03-27 | uniqueness support is added to generics | alimarin | 1 | -3/+7 |
| 2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -20/+37 |
| 2001-03-23 | fixing several bugs | martinw | 1 | -1/+0 |
| 2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -2/+8 |
| 2001-03-15 | Fixes to compile with 2.0 | alimarin | 1 | -2/+29 |
| 2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -12/+70 |
| 2001-03-08 | Normalizing | martijnv | 1 | -1/+1 |
| 2001-03-02 | bugfix for specialisations | martinw | 1 | -1/+1 |
| 2001-03-01 | - type files worden aangemaakt (buggy) | martijnv | 1 | -1/+1 |
| 2001-02-23 | including porting facilities | martinw | 1 | -3/+0 |
| 2001-02-14 | just setting the switch for import syntax from "2.0" back to "1.3" | martinw | 1 | -1/+1 |
| 2001-02-13 | delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" after | martinw | 1 | -3/+3 |
| 2001-01-19 | uniqueness unification for types of functions that are generated | martinw | 1 | -17/+12 |
| 2001-01-12 | New algorithm for explicit imports that also works with cyclic module depende... | martinw | 1 | -9/+85 |
| 2000-11-01 | improved code for explicit imports, | martinw | 1 | -1/+5 |
| 2000-10-23 | renumber icl function and macro indices when unfolding | johnvg | 1 | -19/+16 |
| 2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -3/+14 |
| 2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -4/+26 |
| 2000-09-20 | now "list inferred types" can print attributes also | martinw | 1 | -7/+9 |
| 2000-09-13 | added position information for better error messages | martinw | 1 | -4/+8 |
| 2000-09-13 | bug fix: error in existentional types | sjakie | 1 | -0/+2 |
| 2000-08-18 | dynamic type bug fixed; changes to support theorem prover | martijnv | 1 | -1/+6 |
| 2000-08-15 | improved typing error messages: type variables are printed like "a" instead | martinw | 1 | -0/+39 |
| 2000-08-10 | added position information to case defaults to improve type error messages | martinw | 1 | -4/+14 |
| 2000-08-09 | added position information to case alternatives and changed the typing | martinw | 1 | -1/+6 |
| 2000-08-07 | removing superfluous constructor | martinw | 1 | -1/+0 |
| 2000-08-01 | improving error messages | martinw | 1 | -2/+8 |
| 2000-07-10 | Improved compatibility with Maarten's Theorem Prover Sources | clean | 1 | -1/+2 |
| 2000-06-15 | update of dictionary types | sjakie | 1 | -2/+4 |
| 2000-06-05 | enabled higher order function elimination also for functions (producers) | martinw | 1 | -3/+4 |
| 2000-05-31 | readableizing error messages | martinw | 1 | -4/+4 |
| 2000-05-30 | fixed bugs; partially implemented type dependent functions | martijnv | 1 | -7/+11 |
| 2000-05-22 | improved dynamics | sjakie | 1 | -1/+2 |
| 2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -12/+14 |
| 2000-03-30 | removing record field "lei_strict" that became superflous due to the last rev... | martinw | 1 | -1/+0 |
| 2000-03-30 | comparision of redundant macro definitions | martinw | 1 | -1/+2 |
