The Backpack patch.
[ghc.git] / testsuite / tests / backpack / reexport / bkpreex05.bkp
1 unit bar where
2     signature A(bar) where
3         data A = A { foo :: Int, bar :: Bool }
4
5 unit foo where
6     signature A(foo) where
7         data A = A { foo :: Int, bar :: Bool }
8
9 unit impl where
10     module A1 where
11         data A = A { foo :: Int, bar :: Bool }
12     module A2 where
13         data A = A { foo :: Int, bar :: Bool }
14     module A(foo, bar) where
15         import A1(foo)
16         import A2(bar)
17
18 -- Kind of boring test now haha
19
20 unit barimpl where
21     dependency bar[A=impl:A]
22
23 unit fooimpl where
24     dependency foo[A=impl:A]
25
26 unit foobarimpl where
27     dependency foo[A=impl:A]
28     dependency bar[A=impl:A]