blob: 3cfa776ef1d760805ff519ada3971602dc8e9333 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
TypedSplice.hs:9:22: warning:
Found type wildcard ‘_’ standing for ‘Bool’
Relevant bindings include
metaExp :: Q (TExp (Bool -> Bool)) (bound at TypedSplice.hs:9:1)
In an expression type signature: _ -> _b
In the Template Haskell quotation [|| not :: _ -> _b ||]
In the expression: [|| not :: _ -> _b ||]
TypedSplice.hs:9:27: warning:
Found type wildcard ‘_b’ standing for ‘Bool’
Relevant bindings include
metaExp :: Q (TExp (Bool -> Bool)) (bound at TypedSplice.hs:9:1)
In an expression type signature: _ -> _b
In the Template Haskell quotation [|| not :: _ -> _b ||]
In the expression: [|| not :: _ -> _b ||]
|