blob: 600625b5a4a8c653b212e43f95c5eff57939a406 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T10946.hs:8: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.hs:7:1-11
• In the Template Haskell quotation [|| _ ||]
In the expression: [|| _ ||]
In the Template Haskell splice $$([|| _ ||])
• Relevant bindings include
x :: a (bound at T10946.hs:8:3)
m :: a -> a (bound at T10946.hs:8:1)
Valid hole fits include x :: a (bound at T10946.hs:8:3)
|