Commit 94e42024 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #5514

parent b34aa2cd
module T5514 where
class Foo a where
foo :: a -> a
instance (Foo a, Foo b) => Foo (a, b) where
foo = foo' ()
-- foo' :: () -> b -> b
foo' es = const id (unitId es)
unitId :: () -> ()
unitId = id
......@@ -361,3 +361,4 @@ test('T2357', normal, compile, [''])
test('T5481', normal, compile_fail, [''])
test('T3743', normal, compile, [''])
test('T5490', normal, compile, [''])
test('T5514', normal, 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