testsuite/tests/backpack/should_compile/bkp11.bkp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

unit p where
    signature H where
        data S
    signature H2 where
        data T
    module A where
        import H
        import H2
        data Z = Z S T

unit q where
    dependency p[H=<H>, H2=<H>]
    module B where
        import H
        import A
        f :: S -> T -> Z
        f = Z