summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_compile/bkp49.bkp
blob: b8f6e0097e1ddf2674b57ef3ef22d3b0cff85b4b (plain)
1
2
3
4
5
6
7
unit p where
    signature A where
        data T
        instance Eq T
unit q where
    dependency p[A=<A>]
    signature A (T) where