The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail22.bkp
1 unit p where
2     signature H where
3         type T = Int
4     module M where
5         import H
6         f :: T
7         f = 2
8 unit q where
9     signature H2 where
10         type S = Bool
11     module N where
12         import H2
13         type T = Int
14 unit badimpl where
15     module H2 where
16         type S = ()
17 unit check where
18     dependency p[H=q[H2=badimpl:H2]:N]
19     -- signature H3 where
20     module C where
21         import M