Changes between Version 49 and Version 50 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 17, 2006 12:50:54 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v49 v50  
    44 
    55'''Current:'''  
    6  * Complete `TcTyClsDecls.tcIdxTyInstDecl1` for `TyData`: (1) probably need to generate a new name; (2) produce a `TyCon`, which requires to extend the result type, 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 * 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`. 
    78 
    89== Parsing and Renaming ==