[project @ 1997-05-26 05:42:53 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail001.stderr

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail001.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail001.stderr
index bb40cb4..3a60d37 100644 (file)
--- 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