testsuite/tests/th/TH_Roles2.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TemplateHaskell, RoleAnnotations, PolyKinds #-}

module TH_Roles2 where

import Language.Haskell.TH

$( return [ DataD [] (mkName "T") [KindedTV (mkName "a") () (VarT (mkName "k"))]
            Nothing [] []
          , RoleAnnotD (mkName "T") [RepresentationalR] ] )