Commit d2bcc796 authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Testcase #8565 no longer broken

at least with ImpredicativeTypes enabled in this module.
parent ce5b7e77
{-# LANGUAGE RankNTypes, GeneralizedNewtypeDeriving #-} {-# LANGUAGE RankNTypes, GeneralizedNewtypeDeriving, ImpredicativeTypes #-}
module Foo where module Foo where
class C a where op :: (forall b. b -> a) -> a class C a where op :: (forall b. b -> a) -> a
......
...@@ -413,4 +413,4 @@ test('TcCoercibleCompile', when(compiler_lt('ghc', '7.7'), skip), compile, ['']) ...@@ -413,4 +413,4 @@ test('TcCoercibleCompile', when(compiler_lt('ghc', '7.7'), skip), compile, [''])
test('T8392', normal, compile, ['']) test('T8392', normal, compile, [''])
test('T8474', normal, compile, ['']) test('T8474', normal, compile, [''])
test('T8563', normal, compile, ['']) test('T8563', normal, compile, [''])
test('T8565', expect_broken(8565), compile, ['']) test('T8565', normal, compile, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment