[commit: testsuite] master: Wibble for changed pretty-printing of CoAxioms (ce3d7c4)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/ce3d7c4251cf7417063855609cedc1202d1ab21a

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

commit ce3d7c4251cf7417063855609cedc1202d1ab21a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Apr 25 12:48:26 2012 +0100

    Wibble for changed pretty-printing of CoAxioms

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

 tests/typecheck/should_compile/tc231.stderr |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tests/typecheck/should_compile/tc231.stderr b/tests/typecheck/should_compile/tc231.stderr
index 6d3be6a..7431458 100644
--- a/tests/typecheck/should_compile/tc231.stderr
+++ b/tests/typecheck/should_compile/tc231.stderr
@@ -19,7 +19,7 @@ TYPE CONSTRUCTORS
       RecFlag NonRecursive
       huh :: forall chain. Q s a chain -> ST s ()
 COERCION AXIOMS
-  axiom ShouldCompile.NTCo:Zork [s, a, b]
+  axiom ShouldCompile.NTCo:Zork s a b
     :: Zork s a b ~# (forall chain. Q s a chain -> ST s ())
 Dependent modules: []
 Dependent packages: [base, ghc-prim, integer-gmp]