summaryrefslogtreecommitdiff
path: root/testsuite/tests/generics/T10361a.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/generics/T10361a.hs')
-rw-r--r--testsuite/tests/generics/T10361a.hs32
1 files changed, 32 insertions, 0 deletions
diff --git a/testsuite/tests/generics/T10361a.hs b/testsuite/tests/generics/T10361a.hs
new file mode 100644
index 0000000000..cc5fbb9dca
--- /dev/null
+++ b/testsuite/tests/generics/T10361a.hs
@@ -0,0 +1,32 @@
+{-# LANGUAGE DeriveAnyClass #-}
+{-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE TypeFamilies #-}
+module T10361a where
+
+class C1 a where
+ type T1 a
+ type instance T1 a = Char
+
+class C2 a where -- equivalent to C1
+ type T2 a
+ type instance T2 a = Char
+
+class C3 a where -- equivalent to C1, C2
+ type T3 a
+ type instance T3 a = Char
+
+data A = B
+ deriving C1
+
+deriving instance C2 A
+
+instance C3 A
+
+test1 :: T1 A
+test1 = 'x'
+
+test2 :: T2 A
+test2 = 'x'
+
+test3 :: T3 A
+test3 = 'x'