blob: 4ab181e9bdbcc29fe517722d26c01cb59ec035df (
plain)
1
2
3
4
5
6
|
[1 of 2] Processing p
[1 of 1] Compiling A[sig] ( p/A.hsig, nothing )
[2 of 2] Processing q
[1 of 3] Compiling A[sig] ( q/A.hsig, nothing )
[2 of 3] Compiling B ( q/B.hs, nothing )
[3 of 3] Instantiating p
|