Changes between Version 57 and Version 58 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 22, 2006 6:50:12 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v57 v58  
    44 
    55'''Current:'''  
    6  * Complete `TcTyClsDecls.tcIdxTyInstDecl1` for `TyData`: produce an equality axiom. 
    76 * In the exiting test for datacon validity, `checlValidDataCon`, we need to add a new test that checks for a data instance datacon that its tycon has the `FamilyTyCon` flag set and that it refers to the correct family tycon. 
    87 * Handle `newtype instance`. 
     
    5958 
    6059Done: 
    61  * Representation of kind signatures as `TyCon.TyCon`s. 
     60 * Representation of family kind signatures as `TyCon.TyCon`s. 
    6261 * Extension of `Class.Class` by associated `TyCon`s. 
    6362 * Extension of `TyCon.TyCon` with a reference to the parent `TyCon` for data instances. 
    6463 * Extension of `DataCon.DataCon` with instance types for constructors belonging to data instances. 
     64 * Extension of `TyCon.TyCon' such that the parent of a data instance is paired with a coercion identifying family instance and representation type. 
    6565 
    6666