[commit: testsuite] master: Test Trac #7804 (b66d2c7)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/b66d2c7275ce4ab602d7d01a87a776ac1a4d1fee

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

commit b66d2c7275ce4ab602d7d01a87a776ac1a4d1fee
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Apr 3 18:21:12 2013 +0100

    Test Trac #7804

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

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

diff --git a/tests/indexed-types/should_compile/T7804.hs b/tests/indexed-types/should_compile/T7804.hs
new file mode 100644
index 0000000..6521022
--- /dev/null
+++ b/tests/indexed-types/should_compile/T7804.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE TypeFamilies, RankNTypes #-}
+
+module T7804 where
+
+type family F f a
+
+data Proxy a = P
+
+sDFMap :: (forall a. Proxy f -> Proxy a -> Proxy (F f a)) -> Int
+sDFMap _ = 3
diff --git a/tests/indexed-types/should_compile/all.T b/tests/indexed-types/should_compile/all.T
index a73f5fd..23b8824 100644
--- a/tests/indexed-types/should_compile/all.T
+++ b/tests/indexed-types/should_compile/all.T
@@ -208,4 +208,5 @@ test('T7474', normal, compile, [''])
 test('T7489', normal, compile, [''])
 test('T7585', normal, compile, [''])
 test('T7282', normal, compile, [''])
+test('T7804', normal, compile, [''])