blob: fa46c6a61afb0b093d4e682bc7a4577d7d8fb38d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
[1 of 3] Processing p
[1 of 2] Compiling Q[sig] ( p\Q.hsig, nothing )
[2 of 2] Compiling P ( p\P.hs, nothing )
[2 of 3] Processing q
Instantiating q
[1 of 1] Compiling QMe ( q\QMe.hs, bkpfail13.out\q\QMe.o )
[3 of 3] Processing r
[1 of 3] Compiling H[sig] ( r\H.hsig, nothing )
[2 of 3] Instantiating p
bkpfail13.bkp:8:9: error: [GHC-11890]
• Identifier ‘f’ has conflicting definitions in the module
and its hsig file.
Main module: f :: GHC.Types.Bool
Hsig file: f :: GHC.Types.Int
The two types are different.
• While checking that ‘q:QMe’ implements signature ‘Q’ in ‘p[Q=q:QMe]’.
|