testsuite/tests/backpack/should_fail/bkpfail35.bkp


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

unit p where
    signature A where
        x :: Bool
        y :: Bool
    module B where
unit q where
    dependency signature p[A=<A>]
    signature A (x) where
unit aimpl where
    module A where
        x = True
unit r where
    dependency q[A=aimpl:A]