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

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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail013.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail013.stderr
index 81b18dd..45fefc8 100644 (file)
--- 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