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