Mark previously failing backpack tests as passing, with correct output.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail28.bkp
1 {-# LANGUAGE FlexibleInstances #-}
2 -- This doesn't work: GHC MUST pick the wrong one!
3 -- {-# LANGUAGE IncoherentInstances #-}
4 unit p where
5     signature A where
6         data K a
7         instance Show a => Show (K a)
8 unit q where
9     signature A where
10         data K a
11         instance Read a => Show (K a)
12 unit r where
13     dependency p[A=<A>]
14     dependency q[A=<A>]
15     module R where
16         import A
17         f :: Show a => K a -> String
18         f = show
19         g :: Read a => K a -> String
20         g = show