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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail013.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail013.stderr
index 81b18dd..45fefc8 100644
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail013.stderr
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail013.stderr
@@ -1,9 +1,11 @@
  
-"tcfail013.hs", line 3:
-    Couldn't match type "[tt2]" against "Bool".
-    Inside two equations or case alternatives:
-	... [] -> 1
-	... True -> 2
-Fail: Compilation errors found
+tcfail013.hs:4: Couldn't match the type
+		    `[t{-aHg-}]' against `PrelBase.Bool'
+    Expected: `[t{-aHg-}] -> t{-aHi-}'
+    Inferred: `PrelBase.Bool -> t{-aHl-}'
+    In an equation for function `f':
+	`f PrelBase.True
+		   =   2'
 
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors