[commit: testsuite] master: We no longer quantify over an entirely-unused existential type variable (081af6e)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

https://github.com/ghc/testsuite/commit/081af6e6bb9bf5f8bf1cb6c27e9dc73636052306

>---------------------------------------------------------------

commit 081af6e6bb9bf5f8bf1cb6c27e9dc73636052306
Author: Simon Peyton Jones <simonpj at microsoft.com>
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