Changes between Version 130 and Version 131 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
01/03/07 09:54:05 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v130 v131  
    55'''Current:''' 
    66 0. Rename `HsDecls.TyFunction` into `TyFamily` and use for both `type family` and `data family` declarations. 
     7 0. Check lookup with `FamInstEnv.lookupFamInstEnv` during deriving.  Is the match too general, as it does one-way matching and not just alpha-renaming? 
    78 1. Dictionary handling for equational constraints: 
    89   * Where do we check the details of the formation of equational constraints?  (In `check_pred_ty`?)