The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp31.bkp
1 -- Paper example from Backpack'14
2
3 unit ab-sigs where
4     signature A where
5         x :: Bool
6     signature B where
7         y :: Bool
8
9 unit abcd-holes where
10     dependency ab-sigs[A=<A>,B=<B>]
11     module C where
12         x = False
13     module D where
14         import qualified A
15         import qualified C
16         z = A.x && C.x