[project @ 1998-02-03 11:24:18 by simonm]

[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 03413b8..c88f9be 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail069.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail069.stderr
@@ -1,17 +1,10 @@
  
-tcfail069.hs:21: Couldn't match the type
-                    `PrelTup.(,) taCl' against `PrelBase.[]'
-    Expected: `[taCp]'
-    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'
+tcfail069.hs:21:
+    Couldn't match the type `(aBr, aBt)' against `[aBw]'
+       Expected: [aBw]
+       Inferred: ([Int], [Int])
+       In a "case" branch: [] -> error "foo"
+       In the case expression: case (list1, (list2)) of [] -> error "foo"
 
 
 Compilation had errors