The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp14.bkp
1 unit p where
2     signature H where
3         data T
4         f :: T
5     signature Y where
6         data Y
7     module M where
8         import H
9         x = f
10 unit impl where
11     module F where
12         data T = T
13             deriving (Show)
14         f = T
15     module H(T, f) where
16         import F
17 unit q where
18     dependency impl
19     dependency p[H=impl:H, Y=<Y>]
20     module X where
21         import M
22         import H
23         main = print (x :: T)