The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp19.bkp
1 unit r where
2     signature H where
3         newtype Foo = Foo Bool
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 True
10
11 unit h-impl where
12     module A where
13         newtype Foo = Foo Bool
14     module H(Foo(..)) where
15         import A
16
17 unit s where
18     dependency r[H=h-impl:H]