testsuite/tests/backpack/should_fail/bkpfail49.bkp


1
2
3
4
5
6
7
8
9
10
11

unit p where
    signature A (module Data.Bool) where
        import Data.Bool

unit q where
    dependency signature p[A=<A>]
    signature A (module Data.Bool) where
        import Data.Bool ()
    module M where
        import qualified A
        x = A.True -- should not exist!