testsuite/tests/th/TH_Roles2.hs


1
2
3
4
5
6
7
8
9

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

module TH_Roles2 where

import Language.Haskell.TH

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