Changes between Version 138 and Version 139 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 25, 2007 5:49:29 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v138 v139  
    44
    55'''Current:'''
    6  0. For Tom: Construct `TyCon` for type equation in `tcIdxTyInstDecl1`.  This needs to be a synonym tycon, which still needs to be extended to include family information.
     6 0. For Tom: Construct `TyCon` for type equation in `tcFamInstDecl1`.  This needs to be a synonym tycon, which still needs to be extended to include family information.
    77 1. Dictionary handling for equational constraints:
    88   * Where do we check the details of the formation of equational constraints?  (In `check_pred_ty`?)