X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail004.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail004.stderr;h=b5ea7517ea6ae97143e3c19af96e553f0e5a27f4;hb=349880a7ab565d31c0a0f91eb3776be63d9bfa84;hp=62721112742dd86f66ea2c61849660038f667f0d;hpb=1eefbbdd8b1a6ae1ed9098001573232f981fa0ea;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail004.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail004.stderr
index 6272111..b5ea751 100644
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail004.stderr
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail004.stderr
@@ -1,8 +1,11 @@
  
-"tcfail004.hs", line 3:
-    Couldn't match type "(ot0, ot1)" against "(tt6, tt8, tt10)".
+tcfail004.hs:3: Couldn't match the type
+		    `PrelTup.(,)' against `PrelTup.(,,) t{-aXz-}'
+    Expected: `(t{-aXt-}, t{-aXw-})'
+    Inferred: `(t{-aXz-}, t{-aXC-}, t{-aXF-})'
     In a pattern binding:
-	(f, g) = (1, 2, 3)
-Fail: Compilation errors found
+	(`f', `g')
+	    =   `(1, 2, 3)'
 
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors