The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp01.bkp
1 unit p where
2     signature H where
3         data T
4         x :: Bool
5     module A where
6         import H
7         data A = MkA T
8         y = x
9
10 unit q where
11     dependency p[H=<H>]
12
13 unit h where
14     module H where
15         data T = T
16         x = True
17
18 unit r where
19     dependency h
20     dependency q[H=h:H]