blob: ac968357639f13fbaa706ba22c6b14cc03a241ad (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE TemplateHaskell, PolyKinds, RoleAnnotations #-}
module Roles3 where
import Language.Haskell.TH
import System.IO
$( do { decls <- [d| data Foo a (b :: k) c (d :: k)
type role Foo _ _ representational nominal |]
; runIO $ putStrLn (pprint decls) >> hFlush stdout
; return decls })
|
