blob: 401cab228686610909d664a2fe79ab7ce6d27646 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
[1 of 3] Processing p
[1 of 3] Compiling Q[sig] ( p/Q.hsig, nothing )
[2 of 3] Compiling Q2[sig] ( p/Q2.hsig, nothing )
[3 of 3] Compiling P ( p/P.hs, nothing )
[2 of 3] Processing q
Instantiating q
[1 of 3] Compiling QMe ( q/QMe.hs, bkpfail14.out/q/QMe.o )
[2 of 3] Compiling Q ( q/Q.hs, bkpfail14.out/q/Q.o )
[3 of 3] Compiling Q2 ( q/Q2.hs, bkpfail14.out/q/Q2.o )
[3 of 3] Processing r
[1 of 3] Compiling H[sig] ( r/H.hsig, nothing )
[2 of 3] Instantiating p
bkpfail14.bkp:9:9: error:
⢠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 QMe implements signature Q in p[Q=QMe,Q2=Q2]
|