[project @ 1999-12-29 14:46:29 by simonpj]
[ghc-hetmet.git] / ghc / tests / reader / should_fail / read003.stderr
index 706a4e1..7b24e35 100644 (file)
@@ -1,29 +1,20 @@
 
-==================== Reader ====================
+==================== Parser ====================
 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:
-           aKy = (aKy, aKB, aKE)
-    Expected: (aKy, [aKM], aKE)
-    Inferred: aKy
-    In a pattern binding:
-       ~(a, b, c)
-           | nullity b = a
-           | nullity c = a
-           | otherwise = a
-           where
-               nullity = 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
+