Changes between Version 115 and Version 116 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 16, 2006 1:15:17 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v115 v116  
    55'''Current:'''  
    66 * Handle deriving clauses for data family instances (cf. `Deriving.hs` in testsuite): 
    7    1. Extend `genInst` to handle `Instance`s for family instances. (May just be a matter of passing the right tycon to the gen functions.) 
     7   1. Extend `genInst` to handle `Instance`s for family instances: debugging. 
    88   2. Look at newtype deriving for indexed newtypes.  (First look at `mk_eqn_help`.) 
    99 * Where should the family instance consistency check go for GHCi?  `tcGetModuleExports`?  (Where is that function called?)