The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp23.bkp
1 -- Test to make sure that we can handle all orderings of inherited signatures
2 unit p where
3     signature A where
4         data A
5     signature B where
6         import A
7         data B = B A
8     module M where
9         import A
10         import B
11         data M = M A B
12 unit q1 where
13     dependency p[A=<A>,B=<B>]
14     signature A where
15     signature B where
16     module Q where
17         import M
18         f (M x y) = M x y
19 unit q2 where
20     dependency p[A=<A>,B=<B>]
21     signature B where
22     signature A where
23     module Q where
24         import M
25         f (M x y) = M x y
26 unit q3 where
27     dependency p[A=<A>,B=<B>]
28     module Q where
29         import M
30         f (M x y) = M x y
31 unit q4 where
32     dependency p[A=<A>,B=<B>]
33     signature A where
34     module Q where
35         import M
36         f (M x y) = M x y
37 unit q5 where
38     dependency p[A=<A>,B=<B>]
39     signature B where
40     module Q where
41         import M
42         f (M x y) = M x y