blob: a0167bc2de4a2a20dbd6d72b8cdf3c7d6f849041 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Overlap6.hs:15:7:
Couldn't match type ‛x’ with ‛And x 'True’
‛x’ is a rigid type variable bound by
the type signature for g :: Proxy x -> Proxy (And x 'True)
at Overlap6.hs:14:6
Expected type: Proxy (And x 'True)
Actual type: Proxy x
Relevant bindings include
x :: Proxy x (bound at Overlap6.hs:15:3)
g :: Proxy x -> Proxy (And x 'True) (bound at Overlap6.hs:15:1)
In the expression: x
In an equation for ‛g’: g x = x
|