Commit 2961f32b authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #4870

parent 0b7702db
module T4870 where
import T4870a
data D = D
instance C D where
c x = x
{-# SPECIALIZE f :: D #-}
module T4870a where
class C a where c :: a -> a
{-# INLINABLE f #-}
f :: (C a) => a
f = c f
......@@ -77,3 +77,9 @@ test('T2395', normal, compile, [''])
test('T4371', normal, compile, [''])
test('T4439', normal, compile, [''])
test('T4488', normal, compile, [''])
extra_clean(['T4870a.hi', 'T4870a.o'])],
['T4870', '-v0'])
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