Fix #11287.
[ghc.git] / testsuite / tests / th / T8499.hs
1 {-# LANGUAGE TemplateHaskell, PolyKinds, DataKinds #-}
2 {-# OPTIONS_GHC -Wall #-}
3
4 module T8499 where
5
6 import Language.Haskell.TH
7
8 $( do TyConI (DataD _ _ [KindedTV tvb_a _] _ _ _) <- reify ''Maybe
9 my_a <- newName "a"
10 return [TySynD (mkName "SMaybe")
11 [KindedTV my_a (AppT (ConT ''Maybe) (VarT tvb_a))]
12 (TupleT 0)] )