2dca583aba7c930024a9f8201169586d9bdba779
[ghc.git] / testsuite / tests / parser / should_fail / readFail003.stderr
1
2 readFail003.hs:4:27: error:
3     • Occurs check: cannot construct the infinite type:
4         a2 ~ (a2, [a1], [a])
5     • In the expression: a
6       In a pattern binding:
7         ~(a, b, c)
8           | nullity b = a
9           | nullity c = a
10           | otherwise = a
11           where
12               nullity = null
13     • Relevant bindings include
14         a :: a2 (bound at readFail003.hs:4:3)
15         b :: [a1] (bound at readFail003.hs:4:5)
16         c :: [a] (bound at readFail003.hs:4:7)