[commit: testsuite] master: Improve test T7916 (1a3766b)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/1a3766b006f69913d73777e90c4ed2b8893a990e

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

commit 1a3766b006f69913d73777e90c4ed2b8893a990e
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri May 24 11:12:38 2013 +0100

    Improve test T7916

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

 tests/polykinds/T7916.hs |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7916.hs b/tests/polykinds/T7916.hs
index b9efa89..c9368e7 100644
--- a/tests/polykinds/T7916.hs
+++ b/tests/polykinds/T7916.hs
@@ -7,3 +7,9 @@ f = id
 
 -- g :: forall (m :: k -> *) (a :: k). m a -> m a
 g x = f x
+
+data M f = M (f Int)
+
+-- Test that g :: forall (m :: k -> *) (a :: k). m a -> m a
+g1 = g :: [Int] -> [Int]
+g2 = g :: M [] -> M []