Changes between Version 187 and Version 188 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/03/07 00:19:40 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v187 v188  
    55'''Debugging of type family patch:''' 
    66 0. #1651 
     7 0. Check that the restrictions on equality constraints in instance and class contexts are enforced.  We should have tests for that in the testsuite. 
    78 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. 
    89 0. Fix export list problem (ie, export of data constructors introduced by orphan data instances):