testsuite/tests/backpack/should_compile/bkp26.bkp


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

unit p where
    signature A where
        data A
        neg :: A -> A
    module P where
        import A
        f :: A -> A
        f = neg . neg

unit r where
    module A where
        type A = Bool
        neg :: A -> A
        neg = not

unit q where
    dependency p[A=r:A]
    module M where
        import P
        g :: Bool
        g = f True