Add tests for deriving Generic1

Most of these tests were written by Nicolas Frisby.

1 files changed, 13 insertions, 0 deletions

diff --git a/testsuite/tests/generics/GenCannotDoRep1_2.hs b/testsuite/tests/generics/GenCannotDoRep1_2.hs
new file mode 100644
index 0000000000..cdbbed504b
--- /dev/null
+++ b/testsuite/tests/generics/GenCannotDoRep1_2.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE DeriveGeneric       #-}
+{-# LANGUAGE StandaloneDeriving  #-}
+{-# LANGUAGE GADTs               #-}
+
+module CannotDoRep1_2 where
+
+import GHC.Generics
+
+-- We do not support GADTs
+data Term a where
+  Int :: Term Int
+
+deriving instance Generic1 Term