-
-================================================================================
-Reader:
-module Read003 where
-{- rec -}
-~(a, b, c)
- | nullity b = a
- | nullity c = a
- | otherwise = a
- where
- {- rec -}
- nullity = null
-
-read003.hs:8: Cannot construct the infinite type (occur check)
- `taGH' = `(taGH, taGK, taGN)'
- Expected: `taGH'
- Inferred: `(taGH, [taGW], taGN)'
- In a pattern binding:
- `~(a, b, c)
- | nullity b = a
- | nullity c = a
- | PrelBase.otherwise = a
- where
- nullity = PrelList.null'
-
-
-Compilation had errors
+read003.hs:4:
+ Occurs check: cannot construct the infinite type: t = (t, [a], t1)
+ Expected type: (t, [a], t1)
+ Inferred type: t
+ In a pattern binding: a