testsuite/tests/backpack/should_compile/bkp10.bkp


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

unit p where
    signature H where
        data S
    module A where
        import H
        data T = T S

unit q where
    dependency p[H=<H2>] (A as A2)
    module B where
        import A2
        import H2
        t = T :: S -> T