Changes between Version 57 and Version 58 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 22, 2006 6:50:12 PM (9 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