blob: 2ae23b0d3daf8cd178fb57749e58f0ad777f96e3 (
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 the type ‘_ -> _b’
In an expression type signature: _ -> _b
In the Template Haskell quotation [|| not :: _ -> _b ||]
• Relevant bindings include
metaExp :: Code Q (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 :: Code Q (Bool -> Bool) (bound at TypedSplice.hs:9:1)
|
