The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp34.bkp
1 {-# LANGUAGE FlexibleInstances #-}
2 unit p where
3     signature A where
4         data K a
5         instance Show (K Int)
6         instance Show (K Bool)
7 unit q where
8     signature A where
9         data K a
10         instance Show (K Bool)
11         instance Show (K Int)
12 unit r where
13     dependency p[A=<A>]
14     dependency q[A=<A>]
15     module R where
16         import A
17         f :: K Int -> String
18         f = show
19         g :: K Bool -> String
20         g = show