The Backpack patch.
[ghc.git] / testsuite / tests / backpack / reexport / bkpreex01.bkp
1 unit h where
2     signature H(T) where
3         data T
4 unit p where
5     dependency h[H=<H>]
6     module B(T(..)) where
7         data T = T
8     signature H(T(..), f) where
9         import B(T(..))
10         f :: a -> a
11     module A(T) where
12         import H(T(T),f)
13         x = f T :: T