diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr | 25 |
1 files changed, 15 insertions, 10 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr b/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr index 28190937a4..f02c4d94bc 100644 --- a/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr +++ b/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr @@ -1,34 +1,39 @@ -ClosedFam3.hs-boot:8:1: error: +ClosedFam3.hs-boot:8:1: error: [GHC-15843] Type constructor ‘Foo’ has conflicting definitions in the module - and its hs-boot file + and its hs-boot file. Main module: type Foo :: * -> * type family Foo a where Foo Int = Bool Foo Double = Char - Boot file: type Foo :: * -> * + Boot file: type Foo :: * -> * type family Foo a where Foo Int = Bool + Type family equations do not match: + The number of equations differs. -ClosedFam3.hs-boot:11:1: error: +ClosedFam3.hs-boot:11:1: error: [GHC-15843] Type constructor ‘Bar’ has conflicting definitions in the module - and its hs-boot file + and its hs-boot file. Main module: type Bar :: * -> * type family Bar a where Bar Int = Bool Bar Double = Double - Boot file: type Bar :: * -> * + Boot file: type Bar :: * -> * type family Bar a where Bar Int = Bool Bar Double = Char + Type family equations do not match: + The third equations do not match. + The equation right-hand sides don't match. -ClosedFam3.hs-boot:15:1: error: +ClosedFam3.hs-boot:15:1: error: [GHC-15843] Type constructor ‘Baz’ has conflicting definitions in the module - and its hs-boot file + and its hs-boot file. Main module: type Baz :: * -> * type family Baz a where Baz Int = Bool - Boot file: type Baz :: forall k. k -> * + Boot file: type Baz :: forall k. k -> * type family Baz a where Baz Int = Bool - The types have different kinds + The types have different kinds. |