testsuite/tests/typecheck/should_compile/T4912.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# 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"