Runtime juvix assertion error in Hanoi example

[paulcadman]

I compiled the Hanoi example with the --debug flag for the native target on macOS aarch64:

https://github.com/anoma/juvix/blob/dbe9ff61d794637a3315068c65bfd296512f07dc/examples/milestone/Hanoi/Hanoi.juvix

juvix compile -g Hanoi.juvix

When running the program you get the following error:

./Hanoi
examples/milestone/Hanoi/.juvix-build/Hanoi.c:216: Juvix assertion failed. Please report.

NB: The program runs without error and with the expected output when I use the wasm32-wasi target, or when I use the native target without the --debug flag .

After doing some debugging the trace looks like this:

JUVIX_STR_CONCAT -

juvix/runtime/src/juvix/api.h

Line 79 in dbe9ff6

#define JUVIX_STR_CONCAT(var0, var1, var2) CONCAT_CSTRINGS(var0, var1, var2)

CONCAT_CSTRINGS -

juvix/runtime/src/juvix/object/cstring.h

Line 43 in dbe9ff6

ALLOC(tmp, juvix_nfields + 1); \

ALLOC -

juvix/runtime/src/juvix/mem/alloc.h

Line 50 in dbe9ff6

#define ALLOC(ptr, n) \

and the failing assertion is caused by an is_same_page check:

juvix/runtime/src/juvix/mem/alloc.h

Line 51 in dbe9ff6

ASSERT(is_same_page(juvix_memory_pointer, juvix_memory_pointer + n)); \

[lukaszcz]

Probably forgot to include the memory allocated for string concatenation in the memory usage count. I'll look into it.