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