blob: 025604a10222b06da3320eea4bae30c1f0f5a177 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T10946_sk.hs:6:13: error: [GHC-88464]
• Found hole: _ :: a
Where: ‘a’ is a rigid type variable bound by
the type signature for:
m :: forall a. a -> a
at T10946_sk.hs:5:1-11
• In the Template Haskell quotation [|| _ ||]
In the expression: [|| _ ||]
In the Template Haskell splice $$([|| _ ||])
• Relevant bindings include
x :: a (bound at T10946_sk.hs:6:3)
m :: a -> a (bound at T10946_sk.hs:6:1)
Valid hole fits include x :: a (bound at T10946_sk.hs:6:3)
|