diff options
Diffstat (limited to 'testsuite/tests/roles/should_fail/Roles8.hs')
| -rw-r--r-- | testsuite/tests/roles/should_fail/Roles8.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_fail/Roles8.hs b/testsuite/tests/roles/should_fail/Roles8.hs new file mode 100644 index 0000000000..396431cd50 --- /dev/null +++ b/testsuite/tests/roles/should_fail/Roles8.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE RoleAnnotations, GADTs #-} + +module Roles8 where + +data T1 a = K1 a + +type role T1 nominal +type role T1 nominal + +data T2 b = MkT2 + +type role T2 representational +type role T2 phantom
\ No newline at end of file |