From c9bb4fa43f05edaab8d05ce98710ca87b329a709 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Wed, 25 Apr 2012 12:48:26 +0100
Subject: [PATCH] Wibble for changed pretty-printing of CoAxioms

---
 testsuite/tests/typecheck/should_compile/tc231.stderr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testsuite/tests/typecheck/should_compile/tc231.stderr b/testsuite/tests/typecheck/should_compile/tc231.stderr
index 6d3be6a45d..7431458a24 100644
--- a/testsuite/tests/typecheck/should_compile/tc231.stderr
+++ b/testsuite/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]
-- 
GitLab