diff options
Diffstat (limited to 'testsuite/tests/rename/should_compile/Imp10Aux.hs-boot')
| -rw-r--r-- | testsuite/tests/rename/should_compile/Imp10Aux.hs-boot | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/tests/rename/should_compile/Imp10Aux.hs-boot b/testsuite/tests/rename/should_compile/Imp10Aux.hs-boot new file mode 100644 index 0000000000..f7993110a7 --- /dev/null +++ b/testsuite/tests/rename/should_compile/Imp10Aux.hs-boot @@ -0,0 +1,24 @@ +{-# LANGUAGE RoleAnnotations #-} + +module Imp10Aux where +data T1 a +data T2 a b +data T3 a b c +data T4 a b c d +data T5 a b c d e +data T6 a +data T7 a b +data T8 a b c +data T9 a b c d +data T10 a b c d e + +type role T1 phantom +type role T2 phantom phantom +type role T3 phantom phantom phantom +type role T4 phantom phantom phantom phantom +type role T5 phantom phantom phantom phantom phantom +type role T6 phantom +type role T7 phantom phantom +type role T8 phantom phantom phantom +type role T9 phantom phantom phantom phantom +type role T10 phantom phantom phantom phantom phantom |