[commit: testsuite] no-pred-ty: FIx T3540 stderr (IParam pretty-printing) (9786bd0)

[Max Bolingbroke]

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

On branch  : no-pred-ty

http://hackage.haskell.org/trac/ghc/changeset/9786bd008f68ff30d97954a46c032ca5f805775f

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

commit 9786bd008f68ff30d97954a46c032ca5f805775f
Author: Max Bolingbroke <batterseapower at hotmail.com>
Date:   Tue Sep 6 16:40:24 2011 +0100

    FIx T3540 stderr (IParam pretty-printing)

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

 tests/typecheck/should_fail/T3540.stderr |    7 +++----
 1 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/tests/typecheck/should_fail/T3540.stderr b/tests/typecheck/should_fail/T3540.stderr
index 2a3746a..d29dc2e 100644
--- a/tests/typecheck/should_fail/T3540.stderr
+++ b/tests/typecheck/should_fail/T3540.stderr
@@ -15,10 +15,9 @@ T3540.hs:10:13:
     In the type signature for `thing2': thing2 :: (a ~ Int) -> Int
 
 T3540.hs:13:12:
-    Predicate `[?dude :: Int]' used as a type
-    Expected kind `??', but `[?dude :: Int]' has kind `Constraint'
-    In the type signature for `thing3':
-      thing3 :: ([?dude :: Int]) -> Int
+    Predicate `?dude :: Int' used as a type
+    Expected kind `??', but `?dude :: Int' has kind `Constraint'
+    In the type signature for `thing3': thing3 :: (?dude :: Int) -> Int
 
 T3540.hs:16:11:
     Predicate `Eq a' used as a type