The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp24.bkp
1 unit p where
2     signature A where
3         data A
4     signature B where
5         data B
6     module P where
7         import A
8         import B
9         data P = M A B
10 unit a where
11     module A where
12         data A = A
13 unit b where
14     module B where
15         data B = B
16 unit q where
17     dependency p[A=a:A,B=<B>]
18     dependency a
19     module Q where
20         import A
21         import B
22         import P
23         data Q = Q P A B
24 unit r where
25     dependency q[B=b:B]
26     dependency b
27     module R where
28         import B
29         import Q
30         data R = R Q B