[commit: testsuite] master: Test Trac #7916 (91d5c4d)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/91d5c4d4059e2aca9ad717ff8bd4c8f221ff24f8

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

commit 91d5c4d4059e2aca9ad717ff8bd4c8f221ff24f8
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed May 22 17:44:47 2013 +0100

    Test Trac #7916

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

 tests/polykinds/T7916.hs |    9 +++++++++
 tests/polykinds/all.T    |    1 +
 2 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7916.hs b/tests/polykinds/T7916.hs
new file mode 100644
index 0000000..b9efa89
--- /dev/null
+++ b/tests/polykinds/T7916.hs
@@ -0,0 +1,9 @@
+{-# LANGUAGE PolyKinds, ExplicitForAll #-}
+module T7916 where
+
+
+f :: forall (m :: k -> *) (a :: k). m a -> m a
+f = id
+
+-- g :: forall (m :: k -> *) (a :: k). m a -> m a
+g x = f x
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 972d4a7..00007b1 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -86,3 +86,4 @@ test('T7594', normal, compile_fail,[''])
 test('T7524', normal, compile_fail,[''])
 test('T7601', normal, compile,[''])
 test('T7805', normal, compile_fail,[''])
+test('T7916', normal, compile,[''])