Changes between Version 249 and Version 250 of TypeFunctionsStatus
- Oct 11, 2007 12:26:47 AM (6 years ago)
v249 v250 70 70 0. Fix everything in the testsuite. 71 71 0. Can't we now allow non-left-linear declarations; e.g., `instance type F a a = ..`? 72 0. Fix core-lint breakage in cholewo-eval. 73 72 0. The tests `tcfail068` and `rw` used to raise more type errors right away. Now, we see less recovery. 74 73 0. What about filtering the `EqInst`s in `TcSimplify.addSCs`. We need them, don't we? But they give rise to `Var`s, not `Id`s, and we haven't got selectors.