Commit 698f8220 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #4912

parent 73df3b68
{-# LANGUAGE TypeSynonymInstances #-}
{-# OPTIONS_GHC -fwarn-orphans #-}
module T4912 where
import T4912a
type OurData = TheirData
instance Foo TheirData where
foo = id
instance Bar OurData where
bar _ = "Ours"
T4912.hs:10:10: Warning: orphan instance: instance Foo TheirData
T4912.hs:13:10: Warning: orphan instance: instance Bar OurData
module T4912a where
data TheirData = TheirData
class Foo a where
foo :: a -> a
class Bar a where
bar :: a -> String
......@@ -337,3 +337,5 @@ test('T4498', normal, compile, [''])
test('T4524', normal, compile, [''])
test('T4917', normal, compile, [''])
test('T4912', extra_clean(['T4912a.hi', 'T4912a.o']),
multimod_compile, ['T4912', '-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