Warn about unused type variables in type families
[ghc.git] / testsuite / tests / ghci / scripts / T11098.script
1 -- See Trac #11098\r
2 \r
3 :set -XTemplateHaskell\r
4 :set -XNamedWildCards\r
5 :set -XScopedTypeVariables\r
6 \r
7 :m +Data.Char\r
8 :m +Language.Haskell.TH\r
9 \r
10 runQ [d|foo :: a -> a;foo x = x|]\r
11 runQ $ fmap (filter (not . isDigit) . show) [d|foo :: _a -> _a; foo x = x|]\r
12 runQ [d|foo :: forall _a . _a -> _a ; foo x = x|]\r
13 \r