testsuite/tests/backpack/should_fail/bkpfail52.bkp


1
2
3
4
5
6
7
8
9
10
11

unit p where
    signature H where
        data T = T Int
unit q where
    dependency p[H=<A>]
    module B where
        data T = T Bool
    signature A where
        import qualified B
        type T = B.T
-- signatures don't merge