Commit 94c57676 authored by Joachim Breitner's avatar Joachim Breitner

Coercible: Test case for now broken(?) corner case

involving a non-terminating newtype. This worked before 7e78faf0.
Probably not a problem, but still better to have a test case for it. See
ticket #9117.
parent 7e78faf0
module T9117_2 where
import Data.Coerce
newtype Foo a = Foo (Foo a)
newtype Age = MkAge Int
ex1 :: (Foo Age) -> (Foo Int)
ex1 = coerce
......@@ -419,3 +419,4 @@ test('T8762', normal, compile, [''])
test('MutRec', normal, compile, [''])
test('T8856', normal, compile, [''])
test('T9117', normal, compile, [''])
test('T9117_2', expect_broken('9117'), 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