Changes between Version 193 and Version 194 of TypeFunctionsStatus
- Sep 5, 2007 11:08:23 AM (7 years ago)
v193 v194 6 6 0. #1651; fixed the panic, remains the bogus missing instance error 7 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. '''[Tom is working at this.]''' 8 9 10 8 11 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. 9 12 0. Can't we now allow non-left-linear declarations; e.g., `instance type F a a = ..`?