diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-10-08 14:10:42 +0200 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-10-08 14:10:42 +0200 |
| commit | f64f7c36ef9395da1cc7b686aaf1b019204cd0fc (patch) | |
| tree | fdda7981f8464747efacdd9922c8d8d8b95d796a /testsuite/tests/th/T10945.hs | |
| parent | e2b579e8d77357e8b36f57d15daead101586ac8e (diff) | |
| download | haskell-f64f7c36ef9395da1cc7b686aaf1b019204cd0fc.tar.gz | |
Tests for #10945 and #10946
Diffstat (limited to 'testsuite/tests/th/T10945.hs')
| -rw-r--r-- | testsuite/tests/th/T10945.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/th/T10945.hs b/testsuite/tests/th/T10945.hs new file mode 100644 index 0000000000..be7a792d61 --- /dev/null +++ b/testsuite/tests/th/T10945.hs @@ -0,0 +1,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"))) []] + ]) |