The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp21.bkp
1 unit p where
2     signature H where
3         data T
4
5 unit q where
6     signature H where
7         data T = T
8
9 unit pq0 where
10     dependency p[H=<H>]
11     dependency q[H=<H>]
12
13 unit pq1 where
14     dependency p[H=<H>]
15     dependency q[H=<H>]
16     signature H where
17         data T = T
18
19 unit pq2 where
20     dependency p[H=<H>]
21     dependency q[H=<H>]
22     signature H where
23         data T