Age | Commit message (Expand) | Author | Files | Lines |
2003-10-17 | added limited support for uniqueness attributes in dynamic types | ronny | 1 | -0/+8 |
2003-08-19 | removed unused administrations | ronny | 1 | -6/+6 |
2003-08-19 | removed unused global type codes arguments | ronny | 1 | -26/+17 |
2003-05-16 | renamed field names of type Ident in syntax tree | ronny | 1 | -13/+13 |
2003-04-09 | don't call normalise if there are no variables in the type | ronny | 1 | -6/+9 |
2003-03-13 | use positive numbers for TypeVarFixed | ronny | 1 | -3/+3 |
2003-03-13 | introduced TypeFixedVar constructor for fixed type vars, | ronny | 1 | -2/+1 |
2003-03-13 | removed _TypePatternVar constructor from TypeCode | ronny | 1 | -1/+2 |
2002-11-19 | - type synonyms in type definition written to a tcl-file are fully expanded now. | martijnv | 1 | -24/+27 |
2002-11-12 | bug fix, | ronny | 1 | -3/+3 |
2002-11-07 | correct numbering of type vars in right-hand side dynamics | ronny | 1 | -3/+6 |
2002-10-31 | Fix bug where wrong type code constructor was selected. | ronny | 1 | -4/+4 |
2002-10-14 | new type code and type code constructor representation | ronny | 1 | -206/+170 |
2002-09-20 | moved var info definitions to the modules where they are used | ronny | 1 | -0/+3 |
2002-09-20 | switch to 2.0 syntax, remove duplicated definitions from icl modules | ronny | 1 | -5/+0 |
2002-09-19 | major rewrite dynamics | ronny | 1 | -1007/+626 |
2002-07-29 | move typedefs from trans to syntax; allow for uncurried instances; fix compar... | diederik | 1 | -1/+1 |
2002-06-17 | removed ignored !'s | johnvg | 1 | -3/+3 |
2002-06-10 | - bug fix:types scopes | martijnv | 1 | -1/+8 |
2002-05-14 | - improved handling of equivalent types within one application to share a | martijnv | 1 | -2/+2 |
2002-04-04 | * bug fix to correctly separate types without Clean definition from types which | martijnv | 1 | -2/+1 |
2002-04-03 | - collection of used type constructors in unify/coerce. There are two sources: | martijnv | 1 | -83/+118 |
2002-03-11 | - bug fix: added a forgotten alternative to function convertDynamics for | martijnv | 1 | -3/+1 |
2002-03-11 | - bug fix: added a forgotten alternative to function convertDynamics for | martijnv | 1 | -4/+5 |
2002-02-11 | removed comments that marked various patches | ronny | 1 | -128/+16 |
2002-02-11 | - creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predef | martijnv | 1 | -21/+17 |
2002-02-08 | - change in strictness information | martijnv | 1 | -3/+3 |
2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -2/+2 |
2002-02-04 | er worden nu universele type variabelen in de vorm van UP_laceHolder's | martijnv | 1 | -20/+31 |
2002-01-23 | small bug fix to check whether T_ypeID is available | martijnv | 1 | -73/+16 |
2002-01-23 | bug fix: generate more type information in order to prevent the backend from | martijnv | 1 | -13/+105 |
2002-01-21 | bug fix: the let for a ModuleID was generated *after* copyExpression which | martijnv | 1 | -54/+55 |
2001-12-17 | solved multiple defined moduleIDs in lets | martijnv | 1 | -29/+27 |
2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -2/+2 |
2001-12-05 | removed type from BasicExpr | johnvg | 1 | -9/+8 |
2001-11-30 | store predefined identifiers in CAF | johnvg | 1 | -8/+16 |
2001-11-29 | different representation of selector kind in Selection | ronny | 1 | -3/+3 |
2001-11-21 | new explicit import syntax | johnvg | 1 | -1/+1 |
2001-11-19 | Changes: | martijnv | 1 | -31/+26 |
2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -1/+1 |
2001-09-20 | Added module owners for convertDynamics, type_io and type_io_common | martijnv | 1 | -0/+3 |
2001-08-31 | added code for OverloadedListPatterns | johnvg | 1 | -0/+4 |
2001-08-28 | bug fix: count of let bindings was wrong which caused convertcases to crash | martijnv | 1 | -1/+2 |
2001-08-27 | bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamic | martijnv | 1 | -20/+75 |
2001-08-15 | Bug fixes: default cases and (more or less) correct types for generated case ... | sjakie | 1 | -30/+50 |
2001-06-27 | Sjaak: Improved dynamics, not yet finished. | sjakie | 1 | -3/+24 |
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 |