Changes between Version 50 and Version 51 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v50 v51  
    44 
    55'''Current:'''  
    6  * Result types of data constructors from data instances are not computed correctly.  (They are more like GADT types than vanilla H98, but are handled by the H98 code right now.) 
    7  * Complete `TcTyClsDecls.tcIdxTyInstDecl1` for `TyData`: (1) probably need to generate a new name; (2) produce a `TyCon`, which requires to extend the result type, ('''This is mostly done.''') 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.  The produced `TyCon` need to be entered into the global environment, including all its `implicitTyThings`, by the caller, namely `TcInstDecls.tcInstDecls1`. 
    87 
    98== Parsing and Renaming ==