diff options
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T8565.hs | 6 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T8565.hs b/testsuite/tests/typecheck/should_compile/T8565.hs new file mode 100644 index 0000000000..c7511c2ce7 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T8565.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE RankNTypes, GeneralizedNewtypeDeriving #-} +module Foo where + +class C a where op :: (forall b. b -> a) -> a + +newtype T x = MkT x deriving( C ) diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index bbbfac6b87..e71b6b9cb6 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -413,3 +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, ['']) |