[commit: testsuite] master: Test Trac #7156 (23235be)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/23235bee2283c9933c7909c02b975745d47bb9ad

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

commit 23235bee2283c9933c7909c02b975745d47bb9ad
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Aug 20 14:50:10 2012 +0100

    Test Trac #7156

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

 tests/indexed-types/should_compile/T7156.hs |    8 ++++++++
 tests/indexed-types/should_compile/all.T    |    2 ++
 2 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/tests/indexed-types/should_compile/T7156.hs b/tests/indexed-types/should_compile/T7156.hs
new file mode 100644
index 0000000..5ef4eca
--- /dev/null
+++ b/tests/indexed-types/should_compile/T7156.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE TypeFamilies, ExistentialQuantification #-}
+
+module T7156 where
+
+data T a = (a ~ ()) => T
+
+f :: T a -> a
+f T = ()
diff --git a/tests/indexed-types/should_compile/all.T b/tests/indexed-types/should_compile/all.T
index e4ef4f0..9cdb7e5 100644
--- a/tests/indexed-types/should_compile/all.T
+++ b/tests/indexed-types/should_compile/all.T
@@ -196,3 +196,5 @@ test('T6152',
 
 test('T6088', normal, compile, [''])
 test('T7082', normal, compile, [''])
+test('T7156', normal, compile, [''])
+