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