Commit 586a2514 authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Add testcase for #8563

parent 58e19937
{-# LANGUAGE PolyKinds #-}
module Tagged where
newtype Tagged s b = Tagged b deriving Eq
......@@ -412,3 +412,4 @@ test('TcTypeNatSimple', normal, compile, [''])
test('TcCoercibleCompile', when(compiler_lt('ghc', '7.7'), skip), compile, [''])
test('T8392', normal, compile, [''])
test('T8474', normal, compile, [''])
test('T8563', expect_broken(8562), 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