Commit 56b9f2a7 authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Add testcase for #8565

parent 7dcce316
{-# LANGUAGE RankNTypes, GeneralizedNewtypeDeriving #-}
module Foo where
class C a where op :: (forall b. b -> a) -> a
newtype T x = MkT x deriving( C )
......@@ -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, [''])
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