blob: 3cb9fc6fda38bfbc0d5e8cefc864d1fa265d7b7f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
tcfail033.hs:4:12: error: [GHC-25897]
• Couldn't match expected type ‘(a, b)’ with actual type ‘a’
‘a’ is a rigid type variable bound by
the inferred type of buglet :: [(a, b)]
at tcfail033.hs:4:1-32
• In the expression: x
In the expression: [x | (x, y) <- buglet]
In an equation for ‘buglet’: buglet = [x | (x, y) <- buglet]
• Relevant bindings include
y :: b (bound at tcfail033.hs:4:19)
x :: a (bound at tcfail033.hs:4:17)
buglet :: [(a, b)] (bound at tcfail033.hs:4:1)
|