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.