The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp27.bkp
1 unit p where
2     signature A where
3         data A
4         neg :: A -> A
5     module P where
6         import A
7         f :: A -> A
8         f = neg . neg
9
10 unit r where
11     module A where
12         data B = X | Y
13         type A = B
14         neg :: B -> B
15         neg X = Y
16         neg Y = X
17
18 unit q where
19     dependency p[A=r:A]
20     dependency r
21     module M where
22         import P
23         import A
24         g :: B
25         g = f X