[project @ 1997-07-30 23:52:45 by sof]

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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail012.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail012.stderr
index c1bb07e..2e525ce 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail012.stderr
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail012.stderr
@@ -1,8 +1,11 @@
  
-"tcfail012.hs", line 3:
-    Couldn't match type "Bool" against "[tt0]".
+tcfail012.hs:3: Couldn't match the type
+                   `PrelBase.Bool' against `[t{-amB-}]'
+    Expected: `PrelBase.Bool'
+    Inferred: `[t{-amB-}]'
     In a pattern binding:
-       True = []
-Fail: Compilation errors found
+       `PrelBase.True'
+           =   `PrelBase.[]'
 
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors