1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
[1 of 6] Processing p
[1 of 3] Compiling A[sig] ( p/A.hsig, nothing )
[2 of 3] Compiling B[sig] ( p/B.hsig, nothing )
[3 of 3] Compiling M ( p/M.hs, nothing )
[2 of 6] Processing q1
[1 of 4] Compiling A[sig] ( q1/A.hsig, nothing )
[2 of 4] Compiling B[sig] ( q1/B.hsig, nothing )
[3 of 4] Instantiating p
[4 of 4] Compiling Q ( q1/Q.hs, nothing )
[3 of 6] Processing q2
[1 of 4] Compiling A[sig] ( q2/A.hsig, nothing )
[2 of 4] Compiling B[sig] ( q2/B.hsig, nothing )
[3 of 4] Instantiating p
[4 of 4] Compiling Q ( q2/Q.hs, nothing )
[4 of 6] Processing q3
[1 of 4] Compiling A[sig] ( q3/A.hsig, nothing )
[2 of 4] Compiling B[sig] ( q3/B.hsig, nothing )
[3 of 4] Instantiating p
[4 of 4] Compiling Q ( q3/Q.hs, nothing )
[5 of 6] Processing q4
[1 of 4] Compiling A[sig] ( q4/A.hsig, nothing )
[2 of 4] Compiling B[sig] ( q4/B.hsig, nothing )
[3 of 4] Instantiating p
[4 of 4] Compiling Q ( q4/Q.hs, nothing )
[6 of 6] Processing q5
[1 of 4] Compiling A[sig] ( q5/A.hsig, nothing )
[2 of 4] Compiling B[sig] ( q5/B.hsig, nothing )
[3 of 4] Instantiating p
[4 of 4] Compiling Q ( q5/Q.hs, nothing )
|
