blob: d9a24663ab363cd808ffb05666c9514b2eb7d08e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TemplateHaskell #-}
module T10945 where
import Language.Haskell.TH
$$(return [
SigD (mkName "m")
(ForallT [PlainTV (mkName "a") SpecifiedSpec]
[]
(AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a"))))
, FunD (mkName "m")
[Clause [VarP (mkName "x")] (NormalB (VarE (mkName "x"))) []]
])
|
