summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_compile/T10263.hs
diff options
context:
space:
mode:
authorRichard Eisenberg <eir@cis.upenn.edu>2015-04-10 22:25:29 +0100
committerRichard Eisenberg <eir@cis.upenn.edu>2015-04-24 16:53:02 -0400
commit6ab5da9913e4f8a8dcc8bda3c77d4e896fd67352 (patch)
tree270e693065dc3c36536493d4dda8b37ba942ffaa /testsuite/tests/roles/should_compile/T10263.hs
parent524ddbdad5816f77b7b719cac0671eebd3473616 (diff)
downloadhaskell-6ab5da9913e4f8a8dcc8bda3c77d4e896fd67352.tar.gz
Rename role annotations w.r.t only local decls.
Fix #10263.
Diffstat (limited to 'testsuite/tests/roles/should_compile/T10263.hs')
-rw-r--r--testsuite/tests/roles/should_compile/T10263.hs5
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_compile/T10263.hs b/testsuite/tests/roles/should_compile/T10263.hs
new file mode 100644
index 0000000000..d12a3a4e80
--- /dev/null
+++ b/testsuite/tests/roles/should_compile/T10263.hs
@@ -0,0 +1,5 @@
+{-# LANGUAGE RoleAnnotations #-}
+module T10263 where
+
+data Maybe a = AF
+type role Maybe representational