diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr | 39 |
1 files changed, 21 insertions, 18 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr b/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr index 28e71792ca..f0a5614560 100644 --- a/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr +++ b/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr @@ -2,30 +2,33 @@ ClosedFam3.hs-boot:7:1: error: Type constructor ‘Foo’ has conflicting definitions in the module and its hs-boot file - Main module: type family Foo a :: * - where - Foo Int = Bool - Foo Double = Char - Boot file: type family Foo a :: * - where Foo Int = Bool + Main module: type Foo :: * -> * + type family Foo a where + Foo Int = Bool + Foo Double = Char + Boot file: type Foo :: * -> * + type family Foo a where + Foo Int = Bool ClosedFam3.hs-boot:10:1: error: Type constructor ‘Bar’ has conflicting definitions in the module and its hs-boot file - Main module: type family Bar a :: * - where - Bar Int = Bool - Bar Double = Double - Boot file: type family Bar a :: * - where - Bar Int = Bool - Bar Double = Char + Main module: type Bar :: * -> * + type family Bar a where + Bar Int = Bool + Bar Double = Double + Boot file: type Bar :: * -> * + type family Bar a where + Bar Int = Bool + Bar Double = Char ClosedFam3.hs-boot:14:1: error: Type constructor ‘Baz’ has conflicting definitions in the module and its hs-boot file - Main module: type family Baz a :: * - where Baz Int = Bool - Boot file: type family Baz (a :: k) :: * - where Baz Int = Bool + Main module: type Baz :: * -> * + type family Baz a where + Baz Int = Bool + Boot file: type Baz :: forall k. k -> * + type family Baz a where + Baz Int = Bool The types have different kinds |