testsuite/tests/backpack/should_fail/bkpfail31.bkp


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

unit p where
    signature A where
        data T
        x :: T
unit q where
    dependency signature p[A=<A>]
    signature A (x) where
    module M where
        import A
        y = x
unit pimpl where
    module A where
        -- type T = Bool
        x = True
unit r where
    dependency q[A=pimpl:A]