testsuite/tests/backpack/should_compile/bkp55.bkp


1
2
3
4
5
6
7
8
9
10
11

unit p where
    signature A where
        p :: Int

unit q where
    dependency signature p[A=<B>]
    signature B (module B) where
        q :: Int
    module M where
        import B
        f = p + q