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

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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail033.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail033.stderr
index b441c25..72b2c88 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail033.stderr
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail033.stderr
@@ -1,8 +1,12 @@
  
-"tcfail033.hs", line 3:
-    Type variable "tt2" occurs within the type "(tt2, tt3)".
+tcfail033.hs:4: Cannot construct the infinite type (occur check)
+                   `t{-aKn-}' = `(t{-aKn-}, t{-aKq-})'
+    Expected: `a{-aKs-} (t{-aKn-}, t{-aKq-})'
+    Inferred: `a{-aKs-} t{-aKn-}'
     In a pattern binding:
-       buglet = [ x | (x, y) <- buglet ]
-Fail: Compilation errors found
+       `buglet'
+           =   `[ x |
+                    (x, y) <- buglet ]'
 
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors