testsuite/tests/backpack/reexport/bkpreex01.bkp


1
2
3
4
5
6
7
8
9
10
11
12
13

unit h where
    signature H where
        data T
unit p where
    dependency h[H=<H>]
    module B(T(..)) where
        data T = T
    signature H(module H, T(..)) where
        import B(T(..))
        f :: a -> a
    module A(T) where
        import H(T(T),f)
        x = f T :: T