-==================== Reader ====================
-module Read003 where
-{- rec -}
-~(a, b, c)
- | nullity b = a
- | nullity c = a
- | otherwise = a
- where
- {- rec -}
- 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
-
+ In a pattern binding: a