blob: 27a1f25ac0d5d53a1f13eef4ae22c72e742df74a (
plain)
1
2
3
4
5
6
7
8
9
10
|
[1 of 2] Processing q
[1 of 1] Compiling A[sig] ( q/A.hsig, nothing )
[2 of 2] Processing p
[1 of 2] Compiling A[sig] ( p/A.hsig, nothing )
bkpfail48.bkp:6:18: error:
• The export item ‘module Data.Bool’ is not imported
• while merging the signatures from:
• q[A=<A>]:A
• ...and the local signature for A
|