[commit: testsuite] master: Testcase #8565 no longer broken (e19dc21)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/e19dc21f8a876a0b4849311d664472e61658d06d/testsuite

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

commit e19dc21f8a876a0b4849311d664472e61658d06d
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Wed Nov 27 17:20:28 2013 +0000

    Testcase #8565 no longer broken
    
    at least with ImpredicativeTypes enabled in this module.


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

e19dc21f8a876a0b4849311d664472e61658d06d
 tests/typecheck/should_compile/T8565.hs |    2 +-
 tests/typecheck/should_compile/all.T    |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/typecheck/should_compile/T8565.hs b/tests/typecheck/should_compile/T8565.hs
index c7511c2..e0b100f 100644
--- a/tests/typecheck/should_compile/T8565.hs
+++ b/tests/typecheck/should_compile/T8565.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE RankNTypes, GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE RankNTypes, GeneralizedNewtypeDeriving, ImpredicativeTypes #-}
 module Foo where
 
 class C a where op :: (forall b. b -> a) -> a
diff --git a/tests/typecheck/should_compile/all.T b/tests/typecheck/should_compile/all.T
index e71b6b9..f773034 100644
--- a/tests/typecheck/should_compile/all.T
+++ b/tests/typecheck/should_compile/all.T
@@ -413,4 +413,4 @@ test('TcCoercibleCompile', when(compiler_lt('ghc', '7.7'), skip), compile, [''])
 test('T8392', normal, compile, [''])
 test('T8474', normal, compile, [''])
 test('T8563', normal, compile, [''])
-test('T8565', expect_broken(8565), compile, [''])
+test('T8565', normal, compile, [''])