Changes between Version 64 and Version 65 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 25, 2006 9:19:39 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v64 v65  
    1010 
    1111Todo (low-level): 
     12 * ''Imported'' data family tycon cannot be extended (GHC claims its not in scope in the data instance declaration) - cf. `MapPS.hs`. 
    1213 * Probably remove the `iso` flag. 
    1314 
     
    1617 2. Parse and rename equality constraints in signatures. 
    1718 3. Defaults for associated type synonyms.  (Having both a kind signature and vanilla synonym is problematic as in `RnNames.getLocalDeclBinders` its hard to see that not both of them are defining declarations, which leads to a multiple declarations error.  Defaults are quite different from vanilla synonyms anyway, as they usually have tyvars on their rhs that do not occur on the lhs.) 
     19 4. Import/export lists: 
     20   * We need to be able to write something like `GMapKey(GMap,empty)`. 
     21   * Export and import of data constructors declarated in `data instance`s.  We should be able to use the same syntax for the entity specs as for closed data types, but the meaning is somewhat different. 
    1822 
    1923Done: 
    2024 * Parsing and renaming of kind signatures (toplevel and in classes). 
    21  * Parsing and renaming of indexed types declarations (toplevel and in classes). 
     25 * Parsing and renaming of indexed type declarations (toplevel and in classes). 
    2226 * Using new syntax with `family` and `instance` on top level. 
    2327 
     
    5357 
    5458Todo (high-level): 
    55   1. Extend interface files to include euqality axioms: 
     59  1. Extend interface files to include equality axioms: 
    5660   * How do we exactly want to represent type equations in interface files? 
    5761     * SPJ pointed out that instances are maintained in `InstEnv.InstEnv` with different values for the home packages and others. Type instances may have to be maintained in a similar way, as they are also incrementally collected during compiling a program.  (We probably include them in the same structure, as they will also be of type `InstInfo`.) 
     
    7377Todo: 
    7478 * Compile libraries with !CoreLint. 
    75  * Convert TyFuns.hs to tests in the testsuite. 
     79 * Convert `TyFuns.hs` to tests in the testsuite.