Changes between Version 130 and Version 131 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 3, 2007 5:54:05 PM (8 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`?)