blob: dadfac74ef8cee8bd6f6d9b47e4d10afb5ec4727 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-- See #11098
:set -XTemplateHaskell
:set -XNamedWildCards
:set -XScopedTypeVariables
:m +Data.Char
:m +Language.Haskell.TH
runQ [d|foo :: a -> a;foo x = x|]
runQ $ fmap (filter (not . isDigit) . show) [d|foo :: _a -> _a; foo x = x|]
runQ [d|foo :: forall _a . _a -> _a ; foo x = x|]
|
