diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T20588.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T20588.stderr | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T20588.stderr b/testsuite/tests/typecheck/should_fail/T20588.stderr index b9b7ed3f38..50e7bbec77 100644 --- a/testsuite/tests/typecheck/should_fail/T20588.stderr +++ b/testsuite/tests/typecheck/should_fail/T20588.stderr @@ -1,29 +1,29 @@ -T20588.hs-boot:8:1: error: +T20588.hs-boot:8:1: error: [GHC-15843] Class ‘C’ has conflicting definitions in the module - and its hs-boot file + and its hs-boot file. Main module: type C :: * -> Constraint class C a where meth :: a -> a {-# MINIMAL meth #-} - Boot file: type C :: * -> Constraint + Boot file: type C :: * -> Constraint class C a where meth :: a -> a {-# MINIMAL meth #-} - The methods do not match: - The default methods associated with ‘meth’ are different + The class methods do not match: + The default methods associated with ‘meth’ are different. -T20588.hs-boot:11:1: error: +T20588.hs-boot:11:1: error: [GHC-15843] Class ‘D’ has conflicting definitions in the module - and its hs-boot file + and its hs-boot file. Main module: type D :: * -> Constraint class D a where type T :: * -> * type family T a Default: Int - Boot file: type D :: * -> Constraint + Boot file: type D :: * -> Constraint class D a where type T :: * -> * type family T a The associated types do not match: - The associated type defaults differ + The types of the second associated type default differ. |