summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T20588c.stderr
blob: d15573a30f1c31324db26b4773939b8a1f0c90a8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14

T20588c.hs-boot:7:1: error:
    Class ‘C’ has conflicting definitions in the module
    and its hs-boot file
    Main module: type C :: * -> Constraint
                 class C a where
                   meth :: a
                   default meth :: Monoid a => a
    Boot file:   type C :: * -> Constraint
                 class C a where
                   meth :: a
                   {-# MINIMAL meth #-}
    The methods do not match:
      The default methods associated with ‘meth’ are different