[project @ 2000-12-12 17:21:40 by simonmar]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail013.stderr b/ghc/tests/typecheck/should_fail/tcfail013.stderr
index 2907a74..f460026 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail013.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail013.stderr
@@ -1,9 +1,7 @@
- 
-tcfail013.hs:4: Couldn't match the type
-                   `[taBQ]' against `PrelBase.Bool'
-    Expected: `PrelBase.Bool'
-    Inferred: `[taBQ]'
-    In an equation for function `f': `f PrelBase.True = 2'
 
-
-Compilation had errors
+tcfail013.hs:4:
+    Couldn't match `[t]' against `Bool'
+       Expected type: [t]
+       Inferred type: Bool
+    In the pattern: True
+    In an equation for function `f': f True = 2