[project @ 1998-08-25 18:07:57 by sof]
[ghc-hetmet.git] / ghc / tests / reader / should_fail / read003.stderr
index e50aea8..706a4e1 100644 (file)
@@ -1,3 +1,4 @@
+
 ==================== Reader ====================
 module Read003 where
 {- rec -}
@@ -9,17 +10,20 @@ module Read003 where
        {- rec -}
        nullity = null
 
+
  
-read003.hs:8: Cannot construct the infinite type (occur check)
-                 `taHn' = `(taHn, taHq, taHt)'
-    Expected: `taHn'
-    Inferred: `(taHn, [taHB], taHt)'
+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'
+       ~(a, b, c)
+           | nullity b = a
+           | nullity c = a
+           | otherwise = a
+           where
+               nullity = null
+
 
 Compilation had errors