blob: 963bc50d7248a035f4dd16c91944bba7efecfdcd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
readFail003.hs:4:27: error:
• Occurs check: cannot construct the infinite type:
t ~ (t, [a1], [a])
• In the expression: a
In a pattern binding:
~(a, b, c)
| nullity b = a
| nullity c = a
| otherwise = a
where
nullity = null
• Relevant bindings include
a :: t (bound at readFail003.hs:4:3)
b :: [a1] (bound at readFail003.hs:4:5)
c :: [a] (bound at readFail003.hs:4:7)
|
