Test #7710

2 files changed, 22 insertions, 0 deletions

diff --git a/testsuite/tests/deriving/should_compile/T7710.hs b/testsuite/tests/deriving/should_compile/T7710.hs
new file mode 100644
index 0000000000..5375c2c0eb
--- /dev/null
+++ b/testsuite/tests/deriving/should_compile/T7710.hs
@@ -0,0 +1,21 @@
+{-# LANGUAGE DeriveDataTypeable #-}
+{-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE AutoDeriveTypeable #-}
+{-# LANGUAGE TypeFamilies #-}
+
+module T7710 where
+
+import Data.Typeable
+
+
+type T = Int
+type family F a
+type instance F Int = Int
+data family D a
+data instance D Int = DInt
+data instance D Float = DFloat
+
+test = [ typeRep ([] :: [T])
+       , typeRep ([] :: [F Int])
+       , typeRep (Proxy :: Proxy D)
+       , typeRep ([] :: [D Int]) ]
diff --git a/testsuite/tests/deriving/should_compile/all.T b/testsuite/tests/deriving/should_compile/all.T
index 5e9af5ee4f..b2355f6ac9 100644
--- a/testsuite/tests/deriving/should_compile/all.T
+++ b/testsuite/tests/deriving/should_compile/all.T
@@ -36,3 +36,4 @@ test('T1133',
      extra_clean(['T1133.o-boot', 'T1133.hi-boot']),
      run_command,
      ['$MAKE --no-print-directory -s T1133'])
+test('T7710', normal, compile, [''])
\ No newline at end of file