blob: acfcaf8d1c7cc53239ec139ffc5d0a0ddfbfb59e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
T15648.hs:23:21: error:
• Couldn't match type: (a0 GHC.Prim.~# b0) -> JankyEquality a0 b0
with: JankyEquality a a
Expected: JankyEquality a b
Actual: (a0 GHC.Prim.~# b0) -> JankyEquality a0 b0
• Probable cause: ‘Jank’ is applied to too few arguments
In the expression: Jank
In an equation for ‘legitToJank’: legitToJank Legit = Jank
• Relevant bindings include
legitToJank :: LegitEquality a b -> JankyEquality a b
(bound at T15648.hs:23:1)
T15648.hs:30:33: error:
• Couldn't match expected type ‘a’ with actual type ‘b’
‘b’ is a rigid type variable bound by
the type signature for:
ueqSym :: forall a b. (a GHC.Prim.~# b) -> b GHC.Prim.~# a
at T15648.hs:(28,1)-(29,32)
‘a’ is a rigid type variable bound by
the type signature for:
ueqSym :: forall a b. (a GHC.Prim.~# b) -> b GHC.Prim.~# a
at T15648.hs:(28,1)-(29,32)
• In the second argument of ‘($)’, namely ‘mkLegit @b @a’
In the second argument of ‘($)’, namely
‘legitToJank $ mkLegit @b @a’
In the expression: unJank $ legitToJank $ mkLegit @b @a
• Relevant bindings include
ueqSym :: (a GHC.Prim.~# b) -> b GHC.Prim.~# a
(bound at T15648.hs:30:1)
|
