Changes between Version 200 and Version 201 of TypeFunctionsStatus
- Sep 7, 2007 11:24:07 AM (8 years ago)
v200 v201 9 9 * Issue a warning if there are two identical instances (as per Roman's suggestion). 10 10 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. 11 0. Can't we now allow non-left-linear declarations; e.g., `instance type F a a = ..`? 11 0. 12 12 0. Fix export list problem (ie, export of data constructors introduced by orphan data instances): 13 13 * Change `HscTypes.IfaceExport` to use `Name` instead of `OccName`. … … 16 16 * See email for example. 17 17 0. Allow data family GADT instances. 18 18 19 0. Fix core-lint breakage in cholewo-eval. 19 20 0. The tests `tcfail068` and `rw` used to raise more type errors right away. Now, we see less recovery.