[project @ 2001-08-08 14:23:09 by simonmar]

[ghc-hetmet.git] / ghc / tests / reader / should_fail / read003.stderr

diff --git a/ghc/tests/reader/should_fail/read003.stderr b/ghc/tests/reader/should_fail/read003.stderr
index 5195c3f..13f34c5 100644 (file)
--- a/ghc/tests/reader/should_fail/read003.stderr
+++ b/ghc/tests/reader/should_fail/read003.stderr
@@ -1,29 +1,6 @@
 
-==================== Reader ====================
-module Read003 where
-{- rec -}
-~(a, b, c)
-    | nullity b = a
-    | nullity c = a
-    | otherwise = a
-    where
-       {- rec -}
-       nullity = null
-
-
- 
-read003.hs:8:
-    Occurs check: cannot construct the infinite type:
-           aIK = (aIK, aIN, aIQ)
-       Expected: aIK
-       Inferred: (aIK, [aIY], aIQ)
-       In a pattern binding:
-           ~(a, b, c)
-               | nullity b = a
-               | nullity c = a
-               | otherwise = a
-               where
-                   nullity = null
-
-
-Compilation had errors
+read003.hs:4:
+    Occurs check: cannot construct the infinite type: t = (t, [a], t1)
+       Expected type: (t, [a], t1)
+       Inferred type: t
+    In a pattern binding: a