testsuite/tests/backpack/should_fail/bkpfail10.bkp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

unit p where
    signature H where
        data H
        f :: H -> H

unit q where
    module H where
        data H a = H a
        f :: H a -> H a
        f x = x

unit r where
    dependency p[H=q:H]
    dependency q
    -- Once again, necessary
    module B where
        import H
        type S = H