Changes between Version 184 and Version 185 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 30, 2007 2:52:47 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v184 v185  
    44 
    55'''Debugging of type family patch:''' 
    6  0. Add missing formation checks. 
    76 0. `boxySplitTyConApp` and friends must be able to deal with `orig_ty`s that have outermost type family applications; i.e., they need to try to normalise and possibly have to defer.  They also need to defer on skolems.  Consequently, they also need to return a coercion.  This , in particular, affects the treatment of literal lists, parallel arrays, and tuples in`TcExpr.tcExpr` is fishy. 
    87 0. Fix export list problem (ie, export of data constructors introduced by orphan data instances): 
     
    4443 
    4544Todo (low-level): 
    46  * Enforce syntactic constraints on type instances needed to ensure the termination of constraint entailment checking. 
    4745 * Allow data family GADT instances. 
    4846 * Deriving `Typeable` for data families. 
     
    5048 
    5149Todo (high-level):  
    52  1. Type checking of type functions (and hence, associated type synonyms); routines in `TcUnify` that still need to be extended: 
     50 1. Type checking of type families; routines in `TcUnify` that still need to be extended: 
    5351   * `boxySplitTyConApp`: The second argument (`BoxyRhoType`) can be a synonym family application.  Then, we must produce a wanted coercion and return a `HsWrapper` value that applies that coercion. 
    5452   * `boxySplitAppTy`: Basically, the same deal as the previous. 
     
    6159 * Wrapper generation and type checking of pattern matching for indexed data and newtypes. 
    6260 * Consistency checking for family instances. 
     61 * Enforce syntactic constraints on type instances needed to ensure the termination of constraint entailment checking. 
    6362 
    6463== Desugaring ==