Changes between Version 179 and Version 180 of TypeFunctionsStatus
- Aug 29, 2007 12:43:24 PM (10 years ago)
v179 v180 5 5 '''Debugging of type family patch:''' 6 6 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 8 9 10 7 11 0. Fix core-lint breakage in cholewo-eval. 8 12 0. The tests `tcfail068` and `rw` used to raise more type errors right away. Now, we see less recovery.