The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp25.bkp
1 unit p where
2     signature A(A) where
3         data A
4     signature B(A) where
5         import A
6     module P where
7         import A
8         import B
9         type ZZ = A
10
11 unit r where
12     module Impl where
13         data A = A
14
15 unit q where
16     dependency p[A=<A>,B=<B>]
17     dependency r
18     signature A(A) where
19         import Impl(A)
20     signature B(A) where
21         import Impl(A)
22     module M where
23         import A
24         import B
25         import P
26         type AA = A
27         f :: ZZ -> AA
28         f x = x