SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / T4912.hs
1 {-# LANGUAGE TypeSynonymInstances #-}
2 {-# OPTIONS_GHC -fwarn-orphans #-}
3 module T4912 where
4
5 import T4912a
6
7
8 type OurData = TheirData
9
10 instance Foo TheirData where
11 foo = id
12
13 instance Bar OurData where
14 bar _ = "Ours"