testsuite/tests/backpack/should_fail/bkpfail43.bkp


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

unit p where
    signature A where
        instance Show (a -> b)
    module B where
        import A
        f = show (\x -> x)
unit q where
    module A where
unit r where
    dependency p[A=q:A]
    module C where
        import B
        g = show (\x -> x)