change filtering of variables in extract_hs_tv_bndrs (fixes #13782)
[ghc.git] / testsuite / tests / th / T13782.hs
1 {-# LANGUAGE DataKinds #-}
2 {-# LANGUAGE ExistentialQuantification #-}
3 {-# LANGUAGE PolyKinds #-}
4 {-# LANGUAGE TemplateHaskell #-}
5 module T13782 where
6
7 import Language.Haskell.TH
8
9 $(do TyConI (DataD _ _ [KindedTV a1 _] _ _ _) <- reify ''Maybe
10 [f,a2] <- mapM newName ["f","a"]
11 return [ SigD f (ForallT [KindedTV a2 (AppT (ConT ''Maybe) (VarT a1))]
12 [] (ConT ''Int))
13 , ValD (VarP f) (NormalB (LitE (IntegerL 42))) []
14 ])