blob: 727c0c22463d36abf2f975ba7ca126a5cf82eddc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Overlap6.hs:15:7: error: [GHC-25897]
• Couldn't match type ‘x’ with ‘And x True’
Expected: Proxy (And x True)
Actual: Proxy x
‘x’ is a rigid type variable bound by
the type signature for:
g :: forall (x :: Bool). Proxy x -> Proxy (And x True)
at Overlap6.hs:14:1-34
• In the expression: x
In an equation for ‘g’: g x = 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)
|