Changes between Version 200 and Version 201 of TypeFunctionsStatus

Timestamp:

09/07/07 04:24:07 (6 years ago)

Author:

chak

Comment:

--

TypeFunctionsStatus

@@ -9 +9 @@
    * Issue a warning if there are two identical instances (as per  Roman's suggestion).
  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.
- 0. Can't we now allow non-left-linear declarations; e.g., `instance type F a a = ..`?
+ 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).
  0. Fix export list problem (ie, export of data constructors introduced by orphan data instances):
    * Change `HscTypes.IfaceExport` to use `Name` instead of `OccName`.
@@ -16 +16 @@
    * See email for example.
  0. Allow data family GADT instances.
+ 0. Can't we now allow non-left-linear declarations; e.g., `instance type F a a = ..`?
  0. Fix core-lint breakage in cholewo-eval.
  0. The tests `tcfail068` and `rw` used to raise more type errors right away.  Now, we see less recovery.