Changes between Version 130 and Version 131 of TypeFunctionsStatus


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