The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail09.bkp
1 unit p where
2     signature H where
3         data H = H
4     module A where
5         import H
6         data A = A H
7
8 unit q where
9     module H where
10         data S = S
11
12 unit r where
13     dependency p[H=q:H]
14     -- This test passes if r is definite, because we'll
15     -- first try to compile p.  Key is to make r indefinite!
16     signature H2 where
17     module B where
18         import A
19         x = A H