[project @ 2000-05-16 14:03:14 by rrt]

[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 021a5c0..c2219e6 100644 (file)
--- a/ghc/tests/reader/should_fail/read003.stderr
+++ b/ghc/tests/reader/should_fail/read003.stderr
@@ -1,28 +1,9 @@
 
-
-================================================================================
-Reader:
-module Read003 where
-{- rec -}
-~(a, b, c)
-    | nullity b = a
-    | nullity c = a
-    | otherwise = a
-    where
-       {- rec -}
-       nullity = null
- 
-read003.hs:8: Cannot construct the infinite type (occur check)
-                 `taGH' = `(taGH, taGK, taGN)'
-    Expected: `taGH'
-    Inferred: `(taGH, [taGW], taGN)'
-    In a pattern binding:
-       `~(a, b, c)
-            | nullity b = a
-            | nullity c = a
-            | PrelBase.otherwise = a
-            where
-                nullity = PrelList.null'
-
+read003.hs:4:
+    Occurs check: cannot construct the infinite type: t = (t, [a], t1)
+       Expected type: (t, [a], t1)
+       Inferred type: t
+    In the right-hand side of a pattern binding: a
 
 Compilation had errors
+