Changes between Version 53 and Version 54 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 18, 2006 10:11:14 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v53 v54  
    44 
    55'''Current:'''  
    6  * Complete `TcTyClsDecls.tcIdxTyInstDecl1` for `TyData`: (1) probably need to generate a new name ('''DONE'''); (2) produce a `TyCon` with non-standard worker and wrapper and (3) produce an equality axiom.  The produced `TyCon` need to be entered into the global environment, including all its `implicitTyThings`, by the caller, namely `TcInstDecls.tcInstDecls1`. 
     6 * Complete `TcTyClsDecls.tcIdxTyInstDecl1` for `TyData`: (1) probably need to generate a new name ('''DONE'''); (2) produce a `TyCon` with non-standard worker and wrapper and (3) produce an equality axiom. 
    77 * 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. 
    88 
     
    5959 * Representation of kind signatures as `TyCon.TyCon`s. 
    6060 * Extension of `Class.Class` by associated `TyCon`s. 
     61 * Extension of `TyCon.TyCon` with a reference to the parent `TyCon` for data instances. 
     62 * Extension of `DataCon.DataCon` with instance types for constructors belonging to data instances. 
    6163 
    6264