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

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail069.stderr b/ghc/tests/typecheck/should_fail/tcfail069.stderr
index 290c009..103cffd 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail069.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail069.stderr
@@ -1,16 +1,7 @@
- 
-tcfail069.hs:21: Couldn't match the type
-                    `PrelTup.(,) taCp' against `PrelBase.[]'
-    Expected: `[taCt]'
-    Inferred: `([PrelBase.Int], [PrelBase.Int])'
-    In a "case" branch: `PrelBase.[]' -> `IOBase.error "foo"'
-    In the case expression
-       `case (list1, (list2)) of PrelBase.[] -> IOBase.error "foo"'
-    In an equation for function `too_much':
-       `too_much ds ((k, m) PrelBase.: q1) s0
-                 = case (list1, (list2)) of PrelBase.[] -> IOBase.error "foo"
-                 where
-                     list2 = ds
-                     list1 = ds'
 
-Compilation had errors
+tcfail069.hs:20:
+    Couldn't match `[t]' against `(t1, t2)'
+       Expected type: [t]
+       Inferred type: (t1, t2)
+    In the scrutinee of a case expression: (list1, list2)
+    In the case expression: case (list1, list2) of [] -> error "foo"