Age | Commit message (Expand) | Author | Files | Lines |
2004-03-23 | bug fix numbering of type variables | ronny | 1 | -22/+28 |
2004-03-23 | moved main module number and common defs from state to info parameter | ronny | 1 | -19/+21 |
2004-03-23 | introduced info parameter for reify functions | ronny | 1 | -50/+57 |
2004-03-23 | clean up: introduced quote function for strings | ronny | 1 | -5/+7 |
2004-03-23 | renamed variable | ronny | 1 | -4/+4 |
2004-03-23 | bug fix: number universal variables of field | ronny | 1 | -1/+2 |
2004-03-19 | change prefix "TD_" to "TD;" | ronny | 1 | -1/+1 |
2004-03-19 | bug fix: correct function kind | ronny | 1 | -1/+1 |
2004-03-19 | bug fix: use correct index for constructor in constructor definition | ronny | 1 | -7/+8 |
2004-03-17 | reification of type definitions | ronny | 2 | -0/+741 |
2004-03-17 | reification of type definitions | ronny | 11 | -68/+292 |
2004-03-17 | ignore rank > 1 quantors in type_io | ronny | 1 | -0/+14 |
2004-03-05 | implement tuple result for foreign export / centry | johnvg | 1 | -6/+1 |
2004-02-17 | change module owner | ronny | 1 | -1/+1 |
2004-02-17 | cleanup: prune imports | ronny | 2 | -4/+3 |
2004-02-12 | PK: fix bug with let .. where .. in .. | pieter | 2 | -2/+4 |
2004-01-29 | removed duplicated declarations from dcl module in icl module | ronny | 1 | -145/+0 |
2003-12-23 | bug fix: don't accept lhs patterns between function name and double colon | ronny | 1 | -1/+1 |
2003-12-16 | report unused #! variables | johnvg | 1 | -16/+22 |
2003-12-16 | add CheckWarningWithPosition | johnvg | 2 | -4/+8 |
2003-12-15 | remove VoidTypeToken | johnvg | 2 | -3/+0 |
2003-12-15 | add foreign export | johnvg | 13 | -205/+301 |
2003-12-12 | fix #! with constructor pattern match or record with one field | johnvg | 1 | -15/+19 |
2003-12-12 | fix #! with constructor pattern match or record with one field | johnvg | 1 | -92/+143 |
2003-12-11 | move FunctionPattern type from syntax to backendconvert | johnvg | 2 | -24/+1 |
2003-12-11 | remove BackendBody | johnvg | 2 | -13/+0 |
2003-12-11 | bug fix: use a new ptr in expanded dynamic | ronny | 1 | -3/+5 |
2003-12-01 | use same default fixity and priority (infixl 9) everywhere | ronny | 4 | -6/+8 |
2003-11-04 | compare TFA | johnvg | 1 | -0/+3 |
2003-10-17 | added limited support for uniqueness attributes in dynamic types | ronny | 4 | -5/+31 |
2003-10-07 | move (open/close)TclFile from type_io to compile | ronny | 2 | -63/+0 |
2003-10-07 | isolate Index type for compatability with Sparkle source tree | ronny | 3 | -3/+18 |
2003-09-17 | removed unused var_heap parameter | ronny | 1 | -20/+20 |
2003-09-16 | removed boolean result from substituteType and substitute: they | ronny | 8 | -110/+103 |
2003-09-16 | added function types | ronny | 1 | -6/+44 |
2003-09-16 | code cleanup: introduced records for info and state parameters | ronny | 1 | -138/+159 |
2003-09-15 | removed exported type definitions from icl module | ronny | 1 | -44/+4 |
2003-08-22 | also expand synonym types in dynamics for TAS by reusing the TA code | ronny | 1 | -7/+2 |
2003-08-20 | removed unnecessary separate fields for universal variables, | ronny | 4 | -15/+13 |
2003-08-19 | removed unused administrations | ronny | 9 | -150/+83 |
2003-08-19 | removed unused global type codes arguments | ronny | 1 | -26/+17 |
2003-07-15 | OBJECT marking is added | alimarin | 6 | -90/+234 |
2003-07-01 | changed some names to properly reflect their type | ronny | 1 | -37/+37 |
2003-07-01 | changed parsing of dynamic patterns and expressions,dynamic and :: now bind w... | ronny | 1 | -18/+31 |
2003-06-26 | bug fix in administration of needed modules (fixes bug #25 and a possibly | ronny | 1 | -6/+6 |
2003-06-26 | bug fix: forbid overload CAFs (fixes bug #22) | ronny | 1 | -2/+10 |
2003-06-26 | don't assume infix operators have arity 2 (fixes bug #17) | ronny | 1 | -15/+15 |
2003-06-23 | optimize allocation of Par and Seq constructors to prevent heap overflow | johnvg | 1 | -2/+12 |
2003-06-19 | use :: T (:== .. ) syntax for abstract type synonyms | johnvg | 1 | -5/+3 |
2003-06-19 | write abstract type synonyms in the same way as abstract types | johnvg | 1 | -1/+5 |