testsuite/tests/backpack/should_compile/bkp08.bkp


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

unit q where
    module H where
        data T = T { x :: Bool }
unit r where
    signature H where
        data T
unit p where
    dependency q
    dependency r[H=q:H]
    module M where
        import H
        f = T True