[commit: testsuite] master: Add test for T7704 (be2ffc3)

[José Pedro Magalhães]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/be2ffc3ee12f26b87ee104998c6046ff4b70d081

>---------------------------------------------------------------

commit be2ffc3ee12f26b87ee104998c6046ff4b70d081
Author: Jose Pedro Magalhaes <jpm at cs.ox.ac.uk>
Date:   Fri Mar 8 08:31:35 2013 +0000

    Add test for T7704

>---------------------------------------------------------------

 tests/deriving/should_compile/T7704.hs |   27 +++++++++++++++++++++++++++
 tests/deriving/should_compile/all.T    |    1 +
 2 files changed, 28 insertions(+), 0 deletions(-)

diff --git a/tests/deriving/should_compile/T7704.hs b/tests/deriving/should_compile/T7704.hs
new file mode 100644
index 0000000..f84c5dc
--- /dev/null
+++ b/tests/deriving/should_compile/T7704.hs
@@ -0,0 +1,27 @@
+{-# LANGUAGE PolyKinds          #-}
+{-# LANGUAGE DeriveDataTypeable #-}
+{-# LANGUAGE StandaloneDeriving #-}
+
+module T7704 where
+
+import Data.Typeable
+
+data A1 = A1 deriving Typeable
+data A2 = A2
+deriving instance Typeable A2
+
+data B1 a = B1 deriving Typeable
+data B2 a = B2
+deriving instance Typeable B2
+
+data C1 a = C1 deriving Typeable
+data C2 a = C2
+deriving instance Typeable C2
+
+data D1 f = D1 (f (D1 f)) deriving Typeable
+data D2 f = D2 (f (D2 f))
+deriving instance Typeable D2
+
+data E1 (a :: k) f = E1 (f Int) deriving Typeable
+data E2 (a :: k) f = E2 (f Int)
+deriving instance Typeable E2
diff --git a/tests/deriving/should_compile/all.T b/tests/deriving/should_compile/all.T
index b2355f6..fbb93cf 100644
--- a/tests/deriving/should_compile/all.T
+++ b/tests/deriving/should_compile/all.T
@@ -36,4 +36,5 @@ test('T1133',
      extra_clean(['T1133.o-boot', 'T1133.hi-boot']),
      run_command,
      ['$MAKE --no-print-directory -s T1133'])
+test('T7704', normal, compile, [''])
 test('T7710', normal, compile, [''])
\ No newline at end of file