Changes between Version 211 and Version 212 of TypeFunctionsStatus
- Sep 16, 2007 9:13:06 AM (7 years ago)
v211 v212 4 4 5 5 '''Debugging of type families:''' 6 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 6 0. ghci command to print normalised type and add [http://article.gmane.org/gmane.comp.lang.haskell.cafe/28799] as a test to the testsuite. 8 7 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.