blob: 9383a2aca1b48100cb54df1728c07ec7c0cc2a32 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
[1 of 3] Processing q
[1 of 2] Compiling M1 ( q/M1.hs, nothing )
[2 of 2] Compiling M2[sig] ( q/M2.hsig, nothing )
[2 of 3] Processing m2
Instantiating m2
[1 of 1] Compiling M2 ( m2/M2.hs, nothing )
[3 of 3] Processing p
Instantiating p
[1 of 1] Including q[M2=m2:M2]
Instantiating q[M2=m2:M2]
[1 of 2] Compiling M1 ( q/M1.hs, nothing )
[2 of 2] Compiling M2[sig] ( q/M2.hsig, nothing )
bkpfail03.bkp:3:9: error:
• The hsig file (re)exports ‘M1.M’
but the implementing module exports a different identifier ‘M2.M’
• while checking that m2:M2 implements signature M2 in q[M2=m2:M2]
|
