testsuite/tests/backpack/should_fail/bkpfail03.bkp


1
2
3
4
5
6
7
8
9
10

unit q where
    module M1 where
        data M = M
    signature M2(M) where
        import M1
unit m2 where
    module M2 where
        data M = M
unit p where
    dependency q[M2=m2:M2]