Changes between Version 164 and Version 165 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 11:48:37 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v164 v165  
    55'''Debugging of type family patch:''' 
    66 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. 
     7 0. To fix Roman's GADT1 test, proceed as follows (as suggested by SPJ): 
     8   * `TcGadt.uUnrefined`: the occurs check needs to be more subtle.  If the variable occurs, but does so under a type family application, do not fail, but just defer. 
     9   * This requires a function `Types.tyVarsOfTypeDefinite` that returns only those variables not occurring under type family applications. 
     10   * Moreover, the unification monad `UM` must be extended to be able to collect `EqInst` for later insertion into the LIE. 
     11   * We may have to do the same for other occurs checks. 
    712 
    813'''Current:'''