The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail05.bkp
1 unit h where
2     signature H where
3         data T = T1
4 unit t-impl where
5     module T where
6         data T = T2
7 unit p where
8     dependency h[H=<H>]
9     dependency t-impl
10     -- Known bug: GHC will not eagerly report an error here although
11     -- it could, if it more aggressively checked for type-compatibility
12     -- when a hole gets resolved
13     signature H(T(..)) where
14         import T
15 unit h-impl where
16     dependency t-impl
17     module H(T(..)) where
18         import T
19 unit q where
20     -- Fortunately, you'll never be able to instantiate these signatures;
21     -- it's just an unsatisfiable set of constraints.
22     dependency p[H=h-impl:H]