The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail10.bkp
1 unit p where
2     signature H where
3         data H
4         f :: H -> H
5
6 unit q where
7     module H where
8         data H a = H a
9         f :: H a -> H a
10         f x = x
11
12 unit r where
13     dependency p[H=q:H]
14     dependency q
15     -- Once again, necessary
16     module B where
17         import H
18         type S = H