Add tests for roles.
[ghc.git] / testsuite / tests / th / TH_Roles2.hs
1 {-# LANGUAGE TemplateHaskell, RoleAnnotations, PolyKinds #-}
2
3 module TH_Roles2 where
4
5 import Language.Haskell.TH
6
7 $( return [DataD [] (mkName "T") [KindedRoledTV (mkName "a") (VarT (mkName "k")) Representational] [] []] )
8