[commit: testsuite] master: Test Trac #7888 (db17490)

[Simon Peyton Jones]

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

On branch  : master

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

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

commit db1749006f5e3e4acf7997f6786848fd52f2fb01
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed May 15 10:27:29 2013 +0100

    Test Trac #7888

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

 tests/typecheck/should_compile/T7888.hs |   11 +++++++++++
 tests/typecheck/should_compile/all.T    |    1 +
 2 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/tests/typecheck/should_compile/T7888.hs b/tests/typecheck/should_compile/T7888.hs
new file mode 100644
index 0000000..63fe6ab
--- /dev/null
+++ b/tests/typecheck/should_compile/T7888.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE RankNTypes, MagicHash #-}
+
+module T7888 where
+import GHC.Err( undefined )
+import GHC.Prim
+
+f :: (forall a. a) -> b
+f = undefined
+
+g :: Int -> Int#
+g _ = undefined
diff --git a/tests/typecheck/should_compile/all.T b/tests/typecheck/should_compile/all.T
index 77591dd..68c9b81 100644
--- a/tests/typecheck/should_compile/all.T
+++ b/tests/typecheck/should_compile/all.T
@@ -401,3 +401,4 @@ test('T7641', normal, compile, [''])
 test('T7827', normal, compile, [''])
 test('T7875', normal, compile, [''])
 test('T7268', normal, compile, [''])
+test('T7888', normal, compile, [''])