Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2001-09-06 | removed usage of fun_index | alimarin | 1 | -2/+3 |
2001-03-27 | uniqueness support is added to generics | alimarin | 1 | -1/+1 |
2001-01-19 | refactoring | martinw | 1 | -1/+1 |
2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -0/+1 |
2000-08-16 | ConsVariables were not handled correctly within improved type error messages | martinw | 1 | -1/+1 |
2000-08-15 | improved typing error messages: type variables are printed like "a" instead | martinw | 1 | -1/+1 |
2000-06-05 | enabled higher order function elimination also for functions (producers) | martinw | 1 | -1/+1 |
2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -4/+2 |
2000-02-21 | - implemented comparison between redundant definitions in icl and dcl modules | martinw | 1 | -1/+2 |
1999-10-05 | Initial import | ronny | 1 | -0/+21 |