Mon Sep 24 00:56:46 PDT 2007 [EMAIL PROTECTED]
* Changes to the testsuite for the new renamer
The rationale for these new behaviors is as follows:
We now allow existentials to be unpacked in local (but not top-level!)
ValBinds, so some pattern signatures that used to fail in the renamer
now fail in the type checker (if the type of the body mentions the
unpacked type var):
tc141(normal)
We don't always print HsWrappers in debug mode:
TH_exn1(normal)
TH_exn2(normal)
Sections are parsed (and therefore printed) differently:
rnfail019(normal)
read023(normal)
Character numbers in pattern printing are more precise:
tcfail067(normal)
tcfail124(normal)
tcfail125(normal)
M ./tests/ghc-regress/parser/should_fail/read023.stderr -2 +2
M ./tests/ghc-regress/rename/should_fail/rnfail019.stderr -2 +2
M ./tests/ghc-regress/th/TH_exn1.stderr -4 +1
M ./tests/ghc-regress/th/TH_exn2.stderr -4 +3
M ./tests/ghc-regress/typecheck/should_compile/tc141.stderr -3 +26
M ./tests/ghc-regress/typecheck/should_fail/tcfail067.stderr -3 +3
M ./tests/ghc-regress/typecheck/should_fail/tcfail124.stderr -2 +2
M ./tests/ghc-regress/typecheck/should_fail/tcfail125.stderr -8 +8
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
