Changes between Version 188 and Version 189 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 3, 2007 7:22:51 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v188 v189  
    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. 
     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.  Document the exact restrictions on the Haskell wiki tutorial page. 
    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. Fix export list problem (ie, export of data constructors introduced by orphan data instances):