[commit: testsuite] master: Test Trac #7974 (342c481)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/342c481e4fa61a8b1840ff4383a817f08761a8a8

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

commit 342c481e4fa61a8b1840ff4383a817f08761a8a8
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Jun 10 18:30:33 2013 +0100

    Test Trac #7974

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

 tests/gadt/T7974.hs |    8 ++++++++
 tests/gadt/all.T    |    1 +
 2 files changed, 9 insertions(+), 0 deletions(-)

diff --git a/tests/gadt/T7974.hs b/tests/gadt/T7974.hs
new file mode 100644
index 0000000..e72f62a
--- /dev/null
+++ b/tests/gadt/T7974.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE GADTs #-}
+module T7974 where
+
+data X a where
+   N :: (a ~ b) => X a
+
+k :: X a -> X b
+k N = N
diff --git a/tests/gadt/all.T b/tests/gadt/all.T
index e5f3c5c..e3e92df 100644
--- a/tests/gadt/all.T
+++ b/tests/gadt/all.T
@@ -120,3 +120,4 @@ test('T7321',
      extra_clean(['T7321a.hi', 'T7321a.o']),
      run_command,
      ['$MAKE -s --no-print-directory T7321'])
+test('T7974', normal, compile, [''])