blob: 49ecb6c91131f2fdfdf8b77cc42372b674bb1f7a (
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 :: 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)
|
