blob: b44f9fcc304f32e6bf7ec26f6bdd46f7abc35f41 (
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]
• 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]
• 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)
|