Changes between Version 138 and Version 139 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 25, 2007 5:49:29 AM (7 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`?)