blob: f02c4d94bc0357777b4be494a977660fbc31bb9e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
ClosedFam3.hs-boot:8:1: error: [GHC-15843]
Type constructor ‘Foo’ has conflicting definitions in the module
and its hs-boot file.
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
Type family equations do not match:
The number of equations differs.
ClosedFam3.hs-boot:11:1: error: [GHC-15843]
Type constructor ‘Bar’ has conflicting definitions in the module
and its hs-boot file.
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
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: [GHC-15843]
Type constructor ‘Baz’ has conflicting definitions in the module
and its hs-boot file.
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.
|
