Changes between Version 131 and Version 132 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 8, 2007 9:18:50 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v131 v132  
    44
    55'''Current:'''
    6  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?
    86 1. Dictionary handling for equational constraints:
    97   * Where do we check the details of the formation of equational constraints?  (In `check_pred_ty`?)
     
    5452== Desugaring ==
    5553
    56 Todo (low-level): None.
     54Todo (low-level):
     55 * In `DsCCall.unboxArg`, what if we use an application of an indexed synonym in a foreign signature?  It seems, as if we want to proceed similar as in the case of newtypes.  However, this requires the `FamInstEnv`s to be available at this point (i.e., in `DsM`).
    5756
    5857Todo (high-level):