Changes between Version 209 and Version 210 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 14, 2007 12:37:24 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v209 v210  
    55'''Debugging of type families:''' 
    66 0. We would need swapInsts for wanted constraints.  However, an alternative is to get rid of swapInst altogether and to make substInst a bit smarter (so it also applies wrongly-oriented equalities properly). 
    7  0. ghci command to print normalised type. 
     7 0. ghci command to print normalised type and add [http://hpaste.org/2689] as a test to the testsuite. 
    88 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. 
    99 0. To move GADT type checking from refinements to equalities, proceed as follows (as suggested by SPJ):