Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/081af6e6bb9bf5f8bf1cb6c27e9dc73636052306 >--------------------------------------------------------------- commit 081af6e6bb9bf5f8bf1cb6c27e9dc73636052306 Author: Simon Peyton Jones <[email protected]> Date: Tue May 21 12:31:45 2013 +0100 We no longer quantify over an entirely-unused existential type variable >--------------------------------------------------------------- tests/rename/should_fail/rnfail055.stderr | 2 +- tests/typecheck/should_fail/T3468.stderr | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/rename/should_fail/rnfail055.stderr b/tests/rename/should_fail/rnfail055.stderr index 5f76021..992cfc5 100644 --- a/tests/rename/should_fail/rnfail055.stderr +++ b/tests/rename/should_fail/rnfail055.stderr @@ -88,7 +88,7 @@ RnFail055.hs-boot:25:6: Boot file: data T7 a No C type associated RecFlag NonRecursive, Promotable - = T7 :: forall a b. a -> T7 a Stricts: _ + = T7 :: forall a. a -> T7 a Stricts: _ FamilyInstance: none RnFail055.hs-boot:27:22: diff --git a/tests/typecheck/should_fail/T3468.stderr b/tests/typecheck/should_fail/T3468.stderr index fa702d6..16450c1 100644 --- a/tests/typecheck/should_fail/T3468.stderr +++ b/tests/typecheck/should_fail/T3468.stderr @@ -4,7 +4,7 @@ T3468.hs-boot:3:6: Main module: data Tool d No C type associated RecFlag Recursive, Promotable - = F :: forall d a r. a -> Tool d Stricts: _ + = F :: forall d a. a -> Tool d Stricts: _ FamilyInstance: none Boot file: abstract(False) Tool No C type associated _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
