testsuite/tests/backpack/should_fail/bkpfail36.bkp


1
2
3
4
5
6
7
8
9
10

unit p where
    signature A where
        data T
        x :: Bool
    signature B where
        import A
        y :: T
unit q where
    dependency signature p[A=<A>,B=<B>]
    signature A (x) where