Tests for #10945 and #10946
[ghc.git] / testsuite / tests / th / T10945.hs
1 {-# LANGUAGE TemplateHaskell #-}
2
3 module T10945 where
4
5 import Language.Haskell.TH
6
7 $$(return [
8 SigD (mkName "m")
9 (ForallT [PlainTV (mkName "a")]
10 []
11 (AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a"))))
12 , FunD (mkName "m")
13 [Clause [VarP (mkName "x")] (NormalB (VarE (mkName "x"))) []]
14 ])