The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail15.bkp
1 unit p where
2     signature A where
3     signature Q where
4         f :: Int
5     module P where
6 unit q where
7     module Q where
8         f = True
9 -- This should error, but there's no instantiation check
10 -- without a dependency on P
11 unit r where
12     dependency p[Q=q:Q,A=<A>]