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