diff options
| author | Carlos Tomé <carlostome1990@gmail.com> | 2017-06-20 15:00:46 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-06-21 16:36:08 -0400 |
| commit | c8370a821bb92ca3846953cb0b37250720087135 (patch) | |
| tree | 329430cb6829eece2e882cb59f940b58bb186284 /testsuite/tests/th/T13782.hs | |
| parent | c85cd9b2ff74c42f02a65edd74949267710f02f4 (diff) | |
| download | haskell-c8370a821bb92ca3846953cb0b37250720087135.tar.gz | |
change filtering of variables in extract_hs_tv_bndrs (fixes #13782)
Reviewers: austin, bgamari, goldfire
Reviewed By: bgamari
Subscribers: rwbarton, thomie
GHC Trac Issues: #13782
Differential Revision: https://phabricator.haskell.org/D3641
Diffstat (limited to 'testsuite/tests/th/T13782.hs')
| -rw-r--r-- | testsuite/tests/th/T13782.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/th/T13782.hs b/testsuite/tests/th/T13782.hs new file mode 100644 index 0000000000..7172e07988 --- /dev/null +++ b/testsuite/tests/th/T13782.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE DataKinds #-} +{-# LANGUAGE ExistentialQuantification #-} +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE TemplateHaskell #-} +module T13782 where + +import Language.Haskell.TH + +$(do TyConI (DataD _ _ [KindedTV a1 _] _ _ _) <- reify ''Maybe + [f,a2] <- mapM newName ["f","a"] + return [ SigD f (ForallT [KindedTV a2 (AppT (ConT ''Maybe) (VarT a1))] + [] (ConT ''Int)) + , ValD (VarP f) (NormalB (LitE (IntegerL 42))) [] + ]) |