blob: 10b263efcb3747293fbf85174704707205a0654a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T16074.hs:10:7: error:
• Couldn't match type ‘a’ with ‘b’
Expected: TYPE a :~: TYPE b
Actual: TYPE a :~: TYPE a
‘a’ is a rigid type variable bound by
the type signature for:
foo :: * :~: *
at T16074.hs:9:1-24
‘b’ is a rigid type variable bound by
the type signature for:
foo :: * :~: *
at T16074.hs:9:1-24
• In the expression: Refl
In an equation for ‘foo’: foo = Refl
• Relevant bindings include
foo :: TYPE a :~: TYPE b (bound at T16074.hs:10:1)
|