The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail06.bkp
1 unit p where
2     signature H where
3         data T = T Int
4     module A where
5         import H
6         f :: T -> Int
7         f (T x) = x
8 unit qimpl where
9     module T where
10         data T = T Bool
11     module H(T(..)) where
12         import T
13 unit q where
14     dependency p[H=qimpl:H]