[commit: testsuite] master: Test Trac #7809 (0d3fcf2)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/0d3fcf2fcc5cdef239ac678a17d18236e772d426

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

commit 0d3fcf2fcc5cdef239ac678a17d18236e772d426
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu May 30 14:16:59 2013 +0100

    Test Trac #7809

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

 tests/typecheck/should_fail/T7809.hs     |    9 +++++++++
 tests/typecheck/should_fail/T7809.stderr |    5 +++++
 tests/typecheck/should_fail/all.T        |    1 +
 3 files changed, 15 insertions(+), 0 deletions(-)

diff --git a/tests/typecheck/should_fail/T7809.hs b/tests/typecheck/should_fail/T7809.hs
new file mode 100644
index 0000000..53c8d16
--- /dev/null
+++ b/tests/typecheck/should_fail/T7809.hs
@@ -0,0 +1,9 @@
+{-# LANGUAGE RankNTypes, TypeFamilies, LiberalTypeSynonyms #-}
+module T7809 where
+
+type PolyId = (forall a. a -> a)
+
+type family F a
+
+foo :: F PolyId
+foo = undefined
\ No newline at end of file
diff --git a/tests/typecheck/should_fail/T7809.stderr b/tests/typecheck/should_fail/T7809.stderr
new file mode 100644
index 0000000..b743926
--- /dev/null
+++ b/tests/typecheck/should_fail/T7809.stderr
@@ -0,0 +1,5 @@
+
+T7809.hs:8:8:
+    Illegal polymorphic or qualified type: PolyId
+    Perhaps you intended to use -XImpredicativeTypes
+    In the type signature for ‛foo’: foo :: F PolyId
diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T
index 4ec8410..0f1f7b4 100644
--- a/tests/typecheck/should_fail/all.T
+++ b/tests/typecheck/should_fail/all.T
@@ -309,3 +309,4 @@ test('T7851', normal, compile_fail, [''])
 test('T7856', normal, compile_fail, [''])
 test('T7869', normal, compile_fail, [''])
 test('T7892', normal, compile_fail, [''])
+test('T7809', normal, compile_fail, [''])