[commit: testsuite] master: Test Trac #7805 (9b19867)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/9b1986713752845378ed05694524e04aeb11bfac

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

commit 9b1986713752845378ed05694524e04aeb11bfac
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Apr 3 13:30:33 2013 +0100

    Test Trac #7805

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

 tests/polykinds/T7805.hs     |    7 +++++++
 tests/polykinds/T7805.stderr |    4 ++++
 tests/polykinds/all.T        |    1 +
 3 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7805.hs b/tests/polykinds/T7805.hs
new file mode 100644
index 0000000..914200b
--- /dev/null
+++ b/tests/polykinds/T7805.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE DataKinds, RankNTypes, TypeFamilies #-}
+module T7805 where
+
+data HigherRank = HR (forall a. a -> a)
+
+type family F (x :: HigherRank)
+type instance F (HR x) = Bool
diff --git a/tests/polykinds/T7805.stderr b/tests/polykinds/T7805.stderr
new file mode 100644
index 0000000..db9761a
--- /dev/null
+++ b/tests/polykinds/T7805.stderr
@@ -0,0 +1,4 @@
+
+T7805.hs:6:21:
+    ‛HigherRank’ of kind ‛*’ is not promotable
+    In the kind ‛HigherRank’
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index d492a54..972d4a7 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -85,3 +85,4 @@ test('T7488', normal, compile,[''])
 test('T7594', normal, compile_fail,[''])
 test('T7524', normal, compile_fail,[''])
 test('T7601', normal, compile,[''])
+test('T7805', normal, compile_fail,[''])