Changes between Version 142 and Version 143 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
05/15/07 16:53:38 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v142 v143  
    44 
    55'''Current:''' 
    6  0. Add type synonym instances to ifaces.  (This is easy, just add the (new) parent information of `SynTyCon`s.) 
    76 1. Dictionary handling for equational constraints: 
    87   * Where do we check the details of the formation of equational constraints?  (In `check_pred_ty`?) 
    … …  
    6362== Desugaring == 
    6463 
    65 Todo (low-level): 
    66  * The `IfaceSyn` case of `TcIface.tcIfaceDecl` needs to be extended to receive and handle `mb_parent` information.  That should actually be all required to put synonym family instances into ifaces and get them out again. 
     64Todo (low-level): None. 
    6765 
    6866Todo (high-level): None.