blob: 699de6374c859cdba56fba3a5330d4c9b1e63ce6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
[1 of 2] Processing p
[1 of 1] Compiling ShouldFail[sig] ( p\ShouldFail.hsig, nothing )
[2 of 2] Processing q
Instantiating q
[1 of 1] Including p[ShouldFail=base-4.18.0.0:Prelude]
Instantiating p[ShouldFail=base-4.18.0.0:Prelude]
[1 of 1] Compiling ShouldFail[sig] ( p\ShouldFail.hsig, bkpfail17.out\p\p-2W6J7O3LvroH97zGxbPEGF\ShouldFail.o )
<no location info>: error: [GHC-15843]
• Type constructor ‘Either’ has conflicting definitions in the module
and its hsig file.
Main module: type Either :: * -> * -> *
data Either a b = Left a | Right b
Hsig file: type role Either representational phantom phantom
type Either :: * -> * -> * -> *
data Either a b c = Left a
The types have different kinds.
• While checking that ‘Prelude’ implements signature ‘ShouldFail’ in ‘p[ShouldFail=Prelude]’.
|
