testsuite/tests/backpack/should_fail/bkpfail07.bkp


1
2
3
4
5
6
7
8
9
10
11

unit p where
    signature H where
        data T = T Int
unit h where
    module T where
        data T = T Bool
    module H(T(..)) where
        import T
    signature A where -- indefinite version
unit q where
    dependency p[H=h[A=<A>]:H]