1 files changed, 41 insertions, 0 deletions
diff --git a/testsuite/tests/generics/GEq/Main.hs b/testsuite/tests/generics/GEq/Main.hs
new file mode 100644
index 0000000000..bc1fbd5e55
--- /dev/null
+++ b/testsuite/tests/generics/GEq/Main.hs
@@ -0,0 +1,41 @@
+{-# LANGUAGE TypeOperators, DeriveGeneric #-}
+
+module Main where
+
+import GHC.Generics hiding (C, D)
+import GEq
+
+-- We should be able to generate a generic representation for these types
+
+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
+
+-- Example values
+c0 = C0
+c1 = C1
+
+d0 :: D Char
+d0 = D0
+d1 = D1 'p' D0
+
+p1 :: Int :**: Char
+p1 = 3 :**: 'p'
+
+-- Generic instances
+instance                   GEq C
+instance (GEq a)        => GEq (D a)
+instance (GEq a, GEq b) => GEq (a :**: b)
+
+-- Tests
+teq0 = geq c0 c1
+teq1 = geq d0 d1
+teq2 = geq d0 d0
+teq3 = geq p1 p1
+
+main = mapM_ print [teq0, teq1, teq2, teq3]