blob: b615c3b86f554a1ec1b07b6e4b84a014a8a329d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
GivenForallLoop.hs:9:11: error: [GHC-25897]
• Could not deduce ‘a ~ b’
from the context: a ~ (forall b1. F a b1)
bound by the type signature for:
loopy :: forall a b. (a ~ (forall b1. F a b1)) => a -> b
at GivenForallLoop.hs:8:1-42
‘a’ is a rigid type variable bound by
the type signature for:
loopy :: forall a b. (a ~ (forall b1. F a b1)) => a -> b
at GivenForallLoop.hs:8:1-42
‘b’ is a rigid type variable bound by
the type signature for:
loopy :: forall a b. (a ~ (forall b1. F a b1)) => a -> b
at GivenForallLoop.hs:8:1-42
• In the expression: x
In an equation for ‘loopy’: loopy x = x
• Relevant bindings include
x :: a (bound at GivenForallLoop.hs:9:7)
loopy :: a -> b (bound at GivenForallLoop.hs:9:1)
|