blob: b612cbefedddb4ad1138a0429df34903e65a30d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T16074.hs:10:7: error: [GHC-25897]
• 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)
|