diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-26 11:26:01 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-26 11:26:01 +0000 |
| commit | 56b9f2a7071e070fe931943e0de2f7afb11cc803 (patch) | |
| tree | c82f0a9b34408fcaba7a9dd766bb27c552f4afca /testsuite | |
| parent | 7dcce3161499780d27696ff704a63327ca9d30ff (diff) | |
| download | haskell-56b9f2a7071e070fe931943e0de2f7afb11cc803.tar.gz | |
Add testcase for #8565
Diffstat (limited to 'testsuite')
| -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, ['']) |