[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'


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

produces this


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


More information about the reviews mailing list