Changes between Version 249 and Version 250 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 11, 2007 12:26:47 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v249 v250  
    7070 0. Fix everything in the testsuite. 
    7171 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. 
    7372 0. The tests `tcfail068` and `rw` used to raise more type errors right away.  Now, we see less recovery. 
    7473 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.