Jérôme Vouillon

Oxcaml mode annotations

1

From a patch provided by Jane Street (maybe by @glittershark?)

JIT: crash in GC

1

I have a [larger program](https://github.com/user-attachments/files/22912802/bug.zip) that crashes after some time. I have not been able to produce a small repro. ``` $ wizeng.x86-64-linux --dir=/tmp --mode=jit bug.wasm !GcError: invalid reference @...

Fast interpreter: issue with decoding block types

1

It seems that the fast interpreter can miscompute the length of a block type. I think this happens for multi-byte type indexes. I get this trace for the piece of...

Wrong error message in case of validation error

2

Running this [test program](https://github.com/user-attachments/files/18640557/test.zip), I get the following error: ``` $ ./bin/wizeng.x86-linux -ext:gc -ext:exception-handling ./print_array.wasm ./print_array.wasm:0x3D04:Code[49]: expected 148 data segments, missing data section ``` We should get the following validation...