blob: be7a792d6109c9e71a60982390922f286048732a (
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")]
[]
(AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a"))))
, FunD (mkName "m")
[Clause [VarP (mkName "x")] (NormalB (VarE (mkName "x"))) []]
])
|
