Changes between Version 142 and Version 143 of TypeFunctionsStatus


Ignore:
Timestamp:
May 15, 2007 11:53:38 PM (8 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.