[m-rev.] RNGs

Julien Fischer jfischer at opturion.com
Wed Aug 28 23:59:35 AEST 2019



On Wed, 28 Aug 2019, Mark Brown wrote:

> Two of the generators fail in csharp grade, which seems to be a
> problem with arrays of uint32/uint64. E.g., the following
>
> main(!IO) :-
>    array.init(3, 2u32, L),
>    write_line(L, !IO).
>
> fails with
>
> System.InvalidCastException: Specified cast is not valid.
>  at mercury.test.main_2_p_0 () <0x41b76730 + 0x00083> in <filename unknown>:0
>  at mercury.test.Main (System.String[] args) <0x41b38d50 + 0x0001f>
> in <filename unknown>:0

The problem here is that some of the C# foreign code in the array module
wasn't updated when the new integer types were added.  I will commit a
fix for this shortly.

Julien.


More information about the reviews mailing list