blob: a5b6ebe16cdb60b0a0357ef61f7fa8a56bbfb8d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T10946.hs:8:13: error:
• 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)
|
