summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail03.bkp
blob: 7c622c1d558924a987fcfefaab68d460c079a772 (plain)
1
2
3
4
5
6
7
8
9
10
unit q where
    module M1 where
        data M = M
    signature M2(module M2, M) where
        import M1
unit m2 where
    module M2 where
        data M = M
unit p where
    dependency q[M2=m2:M2]