blob: dfac74a509e13ab8153a40bb8f17bd7a11a2d73b (
plain)
1
2
3
4
5
6
7
8
9
|
[1 of 2] Processing ab-sigs
[1 of 2] Compiling A[sig] ( ab-sigs/A.hsig, nothing )
[2 of 2] Compiling B[sig] ( ab-sigs/B.hsig, nothing )
[2 of 2] Processing abcd-holes
[1 of 5] Compiling C ( abcd-holes/C.hs, nothing )
[2 of 5] Compiling B[sig] ( abcd-holes/B.hsig, nothing )
[3 of 5] Compiling A[sig] ( abcd-holes/A.hsig, nothing )
[4 of 5] Compiling D ( abcd-holes/D.hs, nothing )
[5 of 5] Instantiating ab-sigs
|
