The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp11.bkp
1 unit p where
2     signature H where
3         data S
4     signature H2 where
5         data T
6     module A where
7         import H
8         import H2
9         data Z = Z S T
10
11 unit q where
12     dependency p[H=<H>, H2=<H>]
13     module B where
14         import H
15         import A
16         f :: S -> T -> Z
17         f = Z