Changes between Version 131 and Version 132 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 8, 2007 9:18:50 PM (8 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):