testsuite/tests/backpack/should_compile/bkp29.bkp


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

unit p where
    signature A where
        data I
        x :: I
unit q where
    signature B where
        data I
        f :: I -> I
unit r where
    dependency p[A=<C>]
    dependency q[B=<C>]
    module M where
        import C
        g = f x