Support wild cards in TH splices
[ghc.git] / testsuite / tests / partial-sigs / should_compile / TypedSplice.stderr
1
2 TypedSplice.hs:9:22: warning:
3     Found type wildcard ‘_’ standing for ‘Bool’
4     Relevant bindings include
5       metaExp :: Q (TExp (Bool -> Bool)) (bound at TypedSplice.hs:9:1)
6     In an expression type signature: _ -> _b
7     In the Template Haskell quotation [|| not :: _ -> _b ||]
8     In the expression: [|| not :: _ -> _b ||]
9
10 TypedSplice.hs:9:27: warning:
11     Found type wildcard ‘_b’ standing for ‘Bool’
12     Relevant bindings include
13       metaExp :: Q (TExp (Bool -> Bool)) (bound at TypedSplice.hs:9:1)
14     In an expression type signature: _ -> _b
15     In the Template Haskell quotation [|| not :: _ -> _b ||]
16     In the expression: [|| not :: _ -> _b ||]