diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-08-02 15:50:51 +0100 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-08-02 15:50:51 +0100 |
| commit | 929155faa511569eb626d49a32264442c5caa14f (patch) | |
| tree | 0197b1b0e5144206099f749c4eb8659ad05c8766 /testsuite/tests/th/TH_Roles2.hs | |
| parent | 5207c0ff005e579ba634d6b1aa248c825e957014 (diff) | |
| download | haskell-929155faa511569eb626d49a32264442c5caa14f.tar.gz | |
Add tests for roles.
Many of the files modified are just wibbles to output, because now
tycons have roles attached to them, which are produced in the debugging
dumps.
Diffstat (limited to 'testsuite/tests/th/TH_Roles2.hs')
| -rw-r--r-- | testsuite/tests/th/TH_Roles2.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/th/TH_Roles2.hs b/testsuite/tests/th/TH_Roles2.hs new file mode 100644 index 0000000000..fc010df9ed --- /dev/null +++ b/testsuite/tests/th/TH_Roles2.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE TemplateHaskell, RoleAnnotations, PolyKinds #-} + +module TH_Roles2 where + +import Language.Haskell.TH + +$( return [DataD [] (mkName "T") [KindedRoledTV (mkName "a") (VarT (mkName "k")) Representational] [] []] ) + |