Mark previously failing backpack tests as passing, with correct output.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp35.bkp
1 {-# LANGUAGE FlexibleInstances #-}
2 {-# LANGUAGE IncoherentInstances #-}
3 unit p where
4     signature A where
5         data K a
6         instance Show (K (a -> b))
7 unit q where
8     signature A where
9         data K a
10         instance Show a => Show (K a)
11 unit r where
12     dependency p[A=<A>]
13     dependency q[A=<A>]
14     module R where
15         import A
16         f :: Show a => K a -> String
17         f = show
18         g :: K (a -> b) -> String
19         g = show