read003.hs:8:
Occurs check: cannot construct the infinite type:
- aIK = (aIK, aIN, aIQ)
- Expected: aIK
- Inferred: (aIK, [aIY], aIQ)
- In a pattern binding:
- ~(a, b, c)
- | nullity b = a
- | nullity c = a
- | otherwise = a
- where
- nullity = null
+ 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
Compilation had errors