Mark previously failing backpack tests as passing, with correct output.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail07.bkp
1 unit p where
2     signature H where
3         data T = T Int
4 unit h where
5     module T where
6         data T = T Bool
7     module H(T(..)) where
8         import T
9     signature A where -- indefinite version
10 unit q where
11     dependency p[H=h[A=<A>]:H]