[m-rev.] C# bootcheck

[Zoltan Somogyi]

On Tue, 18 Jun 2019 20:43:37 +1000, Peter Wang <novalazy at gmail.com> wrote:
> Parallel mmc --make is not known to be buggy, no. Certainly we use it
> all the time with C grades.
> 
> Does the problem occur if you invoke mmc --make outside of bootcheck or
> mmake --use-mmc-make?

I don't know. I don't usually use mmc --make at all. I work almost entirely
on the compiler, on which it does work :-(

> The behaviour of output_int_const_for_{java,csharp} depends on the width
> of the Mercury `int' type, for the reason given in the comment in
> output_int_const_for_java.

That can't be the whole story, because those two predicates do exactly the same test
(In Mercury, that is), yet the mismatch between stages 2 and 3 occurs only for C#, and
NOT for Java. At least that is the way it is on my new laptop. How is it on your machines?

Zoltan.