Age | Commit message (Expand) | Author | Files | Lines |
2002-06-17 | moved _ to next line | johnvg | 1 | -1/+2 |
2002-06-11 | added comparison for TArrow and TArrow1 to comparedefimp | alimarin | 1 | -0/+4 |
2002-06-10 | - bug fix:types scopes | martijnv | 2 | -2/+20 |
2002-06-03 | removed trace | alimarin | 1 | -4/+4 |
2002-06-03 | added constructor/type/field information to generics | alimarin | 16 | -624/+1420 |
2002-05-14 | - improved handling of equivalent types within one application to share a | martijnv | 3 | -5/+15 |
2002-05-01 | bug fix: make case for variable pattern explicit | ronny | 1 | -1/+1 |
2002-04-11 | support for generic type context like in | alimarin | 24 | -156/+575 |
2002-04-04 | - removed strictness annotations | martijnv | 2 | -4/+4 |
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 | 9 | -124/+182 |
2002-03-28 | fixes in generics to compile with Clean 2.0 | alimarin | 6 | -73/+65 |
2002-03-27 | remove debug output | johnvg | 1 | -1/+1 |
2002-03-27 | fix bug in CharList with \010 char | johnvg | 1 | -1/+18 |
2002-03-26 | set the explicit flag for cases generated for && and || to True | johnvg | 1 | -14/+5 |
2002-03-26 | don't move tuple and record selectors into explicit cases | johnvg | 1 | -38/+83 |
2002-03-25 | new implementation of generics | alimarin | 38 | -623/+4602 |
2002-03-20 | bug fix: prevent compiler crash if type in icl module has | johnvg | 1 | -0/+3 |
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-03-08 | remove unused argument td_args from functions | johnvg | 1 | -21/+17 |
2002-03-08 | commented out some debug code to reduce memory allocation by | johnvg | 1 | -1/+1 |
2002-03-08 | make result of function build_inequalities strict to reduce | johnvg | 1 | -0/+1 |
2002-03-08 | make result of function add_declaration strict to reduce | johnvg | 1 | -2/+2 |
2002-03-05 | prevent compiler crash if too few members are specified in | johnvg | 1 | -27/+37 |
2002-03-04 | add missing case for TAS constructor (for strict lists) | johnvg | 1 | -1/+3 |
2002-03-04 | Export proper new type of transformGroups | diederik | 2 | -2/+11 |
2002-02-28 | fix bug in computing the conversion table for macros that appear | johnvg | 1 | -1/+1 |
2002-02-27 | fix bug: report error when the same constructor or member | johnvg | 1 | -60/+98 |
2002-02-26 | Bug fix: Dictionary arguments were not passed correctly to other dictionaries | sjakie | 1 | -0/+12 |
2002-02-19 | Disable debugging traces | diederik | 1 | -7/+7 |
2002-02-19 | Reorder functions and introduce state record for determine_args | diederik | 1 | -967/+1177 |
2002-02-13 | work around for incorrect merging of cases (see source comment) | ronny | 1 | -0/+18 |
2002-02-13 | compare strictness annotations of constructors | johnvg | 1 | -1/+1 |
2002-02-12 | removed useless strictness annotations | ronny | 2 | -5/+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 | 5 | -110/+111 |
2002-02-11 | class type variables bugfix | diederik | 2 | -12/+20 |
2002-02-08 | - change in strictness information | martijnv | 5 | -69/+106 |
2002-02-08 | add missing alternatives in equal_strictness_lists and | johnvg | 3 | -10/+22 |
2002-02-07 | - cosmetic changes: made some String-representation of type names symbolic | martijnv | 3 | -1/+9 |
2002-02-07 | fix bug for boolean cases with then or else expressions that | johnvg | 1 | -6/+4 |
2002-02-07 | initialise st_args_strictness in unused function for Clean 2.0 | johnvg | 1 | -0/+1 |
2002-02-06 | fix bug when using type definition: | johnvg | 1 | -1/+1 |
2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 24 | -732/+1618 |
2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -3/+6 |
2002-02-04 | er worden nu universele type variabelen in de vorm van UP_laceHolder's | martijnv | 5 | -97/+117 |
2002-01-31 | remove RWSDebug import | ronny | 1 | -1/+1 |
2002-01-30 | Ik heb helaas geen flauw idee, maar deze files weken af van wat ik zelf had. | sjakie | 4 | -104/+129 |
2002-01-23 | bug fix: adapted collect_used_dynamics which didn't eliminate all unused | martijnv | 1 | -8/+8 |