testsuite/tests/backpack/should_fail/bkpfail04.bkp


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

unit p where
    signature A where
        data A = A { foo :: Int }

unit q where
    signature A where
        data A = A { bar :: Bool }

unit r where
    dependency p[A=<A>]
    dependency q[A=<A>]
    module M where
        import A
        x = foo
        y = bar