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.