The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp18.bkp
1 unit r where
2     signature H where
3         data Foo = Foo
4     -- NB: Foo here gets compiled into Foo{v} on the RHS, referring
5     -- to the DataCon wrapper!
6     -- (There should be a test for type class too)
7     module M where
8         import H
9         d = Foo
10
11 unit h-impl where
12     module A where
13         data Foo = Foo
14     module H(Foo(..)) where
15         import A
16
17 unit s where
18     dependency r[H=h-impl:H]