Sat Dec 8 03:16:46 PST 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Remaining regression of change from GADT refinement to equalities
* gadt/lazypatok fails
* tcfail167's error message gets worse; ie, no more
"Inaccessible case alternative: Can't match types `Char' and `Float'"
Both of these are minor regressions that will be addressed in due time.
M ./tests/ghc-regress/gadt/all.T -1 +1
M ./tests/ghc-regress/typecheck/should_fail/tcfail167.stderr -2 +1
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc