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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail001.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail001.stderr
index bb40cb4..3a60d37 100644
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail001.stderr
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail001.stderr
@@ -1,8 +1,21 @@
  
-"tcfail001.hs", line 8:
-    Couldn't match type "[tt5] -> [tt6]" against "[a]".
-    Inside a function binding:
-	op ... [] = []
-Fail: Compilation errors found
+tcfail001.hs:9:warning:
+    Duplicate class assertion `[(`A',
+				    `a'),
+				(`A',
+				    `a')]' in context:
+	[(`A',
+	     `a'),
+	 (`A',
+	     `a')]
+ 
+tcfail001.hs:9: Couldn't match the type
+		    `PrelBase.[]' against `GHC.-> [t{-anj-}]'
+    Expected: `[a{-ani-}]'
+    Inferred: `[t{-anj-}] -> [t{-ank-}]'
+    In an equation for function `op':
+	`op PrelBase.[]
+		    =   PrelBase.[]'
+
 
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors