Changes between Version 111 and Version 112 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 15, 2006 1:01:40 AM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v111 v112  
    44
    55'''Current:'''
    6  * Handle deriving clauses for data family instances (cf. `Deriving.hs` in testsuite).
     6 * 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.
    711 * Where should the family instance consistency check go for GHCi?  `tcGetModuleExports`?  (Where is that function called?)
    812