Changes between Version 60 and Version 61 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 22, 2006 11:40:50 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v60 v61  
    5050 1. Desugar indexed data types.
    5151 2. Extend interface files.
    52   * How do we exactly want to represent type equations in interface files?
    53    * SPJ pointed out that instances are maintained in `InstEnv.InstEnv` with different values for the home packages and others. The definitions of ATs may have to be maintained in a similar way, as they are also incrementally collected during compiling a program.
    54    * `IfaceInst` contains the instance declaration information for interfaces.
    55   * Export and import lists: The name lists that may appear at class imports and exports can now also contain type names, which is tricky as data type names can carry a list of data constructors.
     52   * How do we exactly want to represent type equations in interface files?
     53    * SPJ pointed out that instances are maintained in `InstEnv.InstEnv` with different values for the home packages and others. The definitions of ATs may have to be maintained in a similar way, as they are also incrementally collected during compiling a program.
     54    * `IfaceInst` contains the instance declaration information for interfaces.
     55   * Export and import lists: The name lists that may appear at class imports and exports can now also contain type names, which is tricky as data type names can carry a list of data constructors.
    5656 3. Desugar type functions and equality constraints.
    5757