summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_compile/bkp39.bkp
blob: 4af903856fbf8214c3c5b47d89d43dc480694ffa (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE ConstraintKinds #-}
unit p where
    signature A where
        import Prelude hiding ((==))
        class K a
        infix 4 ==
        (==) :: K a => a -> a -> Bool
    module M where
        import Prelude hiding ((==))
        import A
        f a b c = a == b && b == c
unit q where
    module A(K, (==)) where
        type K = Eq
unit r where
    dependency p[A=q:A]