blob: 3ded9c03ed30e1dbb97ce0bd483c1dc61be50f48 (
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
|
Typeable1.hs:22:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code]
• Couldn't match type: ComposeK
with: a3 b3
Inaccessible code in
a pattern with pattern synonym:
App :: forall k2 (t :: k2).
() =>
forall k1 (a :: k1 -> k2) (b :: k1).
(t ~ a b) =>
TypeRep a -> TypeRep b -> TypeRep t,
in a pattern binding in
a 'do' block
• In the pattern: App x y
In a stmt of a 'do' block: App x y <- pure x
In the expression:
do let x :: ComposeK Maybe Maybe Int
x = undefined
App x y <- pure $ typeOf x
print (x, y)
App x y <- pure x
....
• Relevant bindings include
y :: TypeRep b2 (bound at Typeable1.hs:19:11)
x :: TypeRep a2 (bound at Typeable1.hs:19:9)
|