[m-rev.] for review: pack sub-word-sized integers and dummies

Julien Fischer jfischer at opturion.com
Mon May 7 09:52:07 AEST 2018


Hi Zoltan,

On Sun, 6 May 2018, Zoltan Somogyi wrote:

> On Sun, 6 May 2018 00:25:23 -0400 (EDT), Julien Fischer <jfischer at opturion.com> wrote:
>> Building the library in the C# grade now breaks:
>>
>>     Making Mercury/opts/thread.semaphore.opt
>>     Making Mercury/css/array.cs
>>     Uncaught Mercury exception:
>>     Software Error: predicate `ml_backend.ml_unify_gen.ml_gen_cons_args'/12: Unexpected: full
>>     Stack dump not available in this grade.
>>     ** Error making `Mercury/css/array.cs'.
>
> The attached diff fixes this abort and lets a C# bootcheck go
> as far as building all the .cs files in the stage 2 library, which is
> as far as it can go on my machine, which has no C# compiler
> installed. Bootchecks in hlc.gc and asm_fast.gc succeeded.

Thanks for that!

> I am committing diff. I dont think a review would be all that useful,
> but trying it out in C# and Java grades would be. Please tell me
> whether it works or not.

I'm currently bootchecking the C# grade.  The Java grade fails
during compilation of the stage 2 library due to:

    Making Mercury/javas/jmercury/thread__channel.java
    Making Mercury/javas/jmercury/thread__future.java
    Making Mercury/javas/jmercury/thread__mvar.java
    Making Mercury/javas/jmercury/thread__semaphore.java
    Making Java class files
    Mercury/javas/jmercury/erlang_rtti_implementation.java:1481: error:
    incompatible types: int cannot be converted to Type_info_thunk_0
       MR_scalar_common_6[0] = new erlang_rtti_implementation.Maybe_pseudo_type_info_0.Plain_1(0);
                                                                                             ^
    Mercury/javas/jmercury/erlang_rtti_implementation.java:1528: error:
    incompatible types: int cannot be converted to Pseudo_type_info_thunk_0
        MR_scalar_common_14[0] = new erlang_rtti_implementation.Maybe_pseudo_type_info_0.Pseudo_1(0);

Julien.


More information about the reviews mailing list