+
==================== Reader ====================
module Read003 where
{- rec -}
{- 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