Changes between Version 111 and Version 112 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 15, 2006 1:01:40 AM (7 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