testsuite/tests/backpack/should_fail/bkpfail41.bkp


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

{-# LANGUAGE DefaultSignatures #-}
unit p where
    signature A where
        class C a where
            f :: a -> a
            default f :: a -> a
    signature B where
unit i where
    module A where
        class C a where
            f :: a -> a
unit r where
    dependency p[A=i:A,B=<B>]