blob: cd0454264196d5c38fb8db46454bf21bc30a58a4 (
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’
‘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
Expected type: TYPE a :~: TYPE b
Actual type: TYPE a :~: TYPE a
• 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)
|
