Currently if doing -V in parallel mode and the following sequence of events happens:
Verifier kicks off a verification job for some line in module A, in the background.
Meanwhile the compiler reaches the end of module A and starts looking at module B. A type error for module B is discovered.
The verifier job finishes and discovers an error.
Then, the compiler will print the verifier error for A, then the type error for B, then exit.
But if we were running on one cpu only, then only the verifier error for A would have been printed.
So I think in this case, we should suppress the error from module B, just to ensure that the output is the same regardless of whether we are running verification jobs in parallel or not.
Currently if doing -V in parallel mode and the following sequence of events happens:
Then, the compiler will print the verifier error for A, then the type error for B, then exit.
But if we were running on one cpu only, then only the verifier error for A would have been printed.
So I think in this case, we should suppress the error from module B, just to ensure that the output is the same regardless of whether we are running verification jobs in parallel or not.