testsuite/tests/backpack/should_fail/bkpfail21.bkp


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

unit p where
    signature A where
        data T
    signature C(module C, T) where
        import A
unit q where
    signature B where
        data T
    signature C(module C, T) where
        import B
unit r where
    dependency p[A=<H1>,C=<H3>]
    dependency q[B=<H2>,C=<H3>]