Fix TcSimplify.decideQuantification for kind variables
[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         a ~ (a, [a1], [a2])
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 :: a (bound at readFail003.hs:4:3)
15         b :: [a1] (bound at readFail003.hs:4:5)
16         c :: [a2] (bound at readFail003.hs:4:7)