Changes between Version 113 and Version 114 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 15, 2006 9:44:58 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v113 v114  
    55'''Current:'''
    66 * Handle deriving clauses for data family instances (cf. `Deriving.hs` in testsuite):
    7    1. Extend `DerivEqn` to include the types indexes.
    8    2. Extend `mk_eqn_help` to return the type indexed in `DerivEqn`.
    9    3. Extend `deriveOrdinaryStuff` to handle the extend info.
    10    4. Look at newtype deriving for indexed newtypes.  (First look at `mk_eqn_help`.)
     7   1. Extend `genInst` to handle `Instance`s for family instances.
     8   2. Look at newtype deriving for indexed newtypes.  (First look at `mk_eqn_help`.)
    119 * Where should the family instance consistency check go for GHCi?  `tcGetModuleExports`?  (Where is that function called?)
    1210