Support wild cards in TH splices
[ghc.git] / testsuite / tests / partial-sigs / should_fail / ExtraConstraintsWildcardInTypeSpliceUsed.hs
1 {-# LANGUAGE TemplateHaskell #-}
2 module ExtraConstraintsWildcardInTypeSpliceUsed where
3
4 import ExtraConstraintsWildcardInTypeSplice
5
6 -- An extra-constraints wild card is not supported in type splices
7 eq :: $(metaType)
8 eq x y = x == y