[m-rev.] for review: Use uints to represent bit vectors.

Peter Wang novalazy at gmail.com
Mon Apr 16 11:42:17 AEST 2018


On Sun, 15 Apr 2018 21:12:08 -0400 (EDT), Julien Fischer <jfischer at opturion.com> wrote:
> 
> The csharp grade is also broken.
> 
> Mercury/css/sparse_bitset.cs(718,27): error CS0031: Constant value
> `18446744073709551615' cannot be converted to a `uint'

This

    main(!IO) :-
	write_uint(\0u, !IO).

produces this

    io.write_uint_3_p_0(18446744073709551615U);

const_prop.m should be more careful with `\' I think.

Peter


More information about the reviews mailing list