diff options
Diffstat (limited to 'testsuite/tests/deriving/should_compile/Roles4.hs')
-rw-r--r-- | testsuite/tests/deriving/should_compile/Roles4.hs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_compile/Roles4.hs b/testsuite/tests/deriving/should_compile/Roles4.hs new file mode 100644 index 0000000000..32cb65a7df --- /dev/null +++ b/testsuite/tests/deriving/should_compile/Roles4.hs @@ -0,0 +1,15 @@ +{-# LANGUAGE RoleAnnotations #-} + +module Roles4 where + +class C1 a@N where + meth1 :: a -> a + +class C2 a@R where + meth2 :: a -> a + +type Syn1 a@N = [a] + +class C3 a where + meth3 :: a -> Syn1 a + |