1 files changed, 23 insertions, 0 deletions
diff --git a/testsuite/tests/generics/GenCanDoRep0.hs b/testsuite/tests/generics/GenCanDoRep0.hs
new file mode 100644
index 0000000000..a86416b052
--- /dev/null
+++ b/testsuite/tests/generics/GenCanDoRep0.hs
@@ -0,0 +1,23 @@
+{-# LANGUAGE DeriveGeneric #-}
+{-# LANGUAGE TypeOperators #-}
+
+module CanDoRep0 where
+
+import GHC.Generics (Generic)
+
+
+-- We should be able to generate a generic representation for these types
+data A  
+  deriving Generic
+
+data B a
+  deriving Generic
+
+data C = C0 | C1
+  deriving Generic
+
+data D a = D0 | D1 { d11 :: a, d12 :: (D a) }
+  deriving Generic
+
+data (:*:) a b = a :*: b
+  deriving Generic