The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp12.bkp
1 -- this is a simplified version of bkp09
2 unit p where
3     signature H where
4         x :: Bool
5 unit r where
6     dependency p[H=<H>]
7     module M where
8         import H
9         a = x
10 unit h-impl where
11     module H where
12         x = True
13 unit s where
14     dependency h-impl
15     dependency r[H=h-impl:H]