testsuite/tests/backpack/should_fail/bkpfail01.bkp


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

unit p where
    signature H where
        data H = H
    module A where
        import H
        data A = A H

unit q where
    module H where
        data S = S

unit r where
    dependency p[H=q:H]
    module B where
        import A
        x = A H