search

Wasm-DSL / spectec

Wasm SpecTec specification tools
https://wasm-dsl.github.io/spectec/
Other
27 stars 9 forks source link

[al] Stack overflow in translation to AL #77

Closed rossberg closed 9 months ago

rossberg commented 9 months ago

After the last few changes I see a stack overflow in CI. Since I cannot reproduce it locally, I added a bit more logging output:

https://github.com/Wasm-DSL/spectec/actions/runs/8008017170/job/21873462507

As you can see there, it seems to happen during AL translation, inside list append (@). Unfortunately, we cannot see the origin of its call, but this means that @ is used on very long left lists.

ShinWonho commented 9 months ago

Hoseong figure out that remove_dead_assignment function in the transpile.ml is problematic (which is called during AL translation as you said.) I'm going to fix it ASAP. In my device, stack overflow bugs in the ci test can be reproduced by using the command export OCAMLRUNPARAM=l=1000000

ShinWonho commented 9 months ago

Now, it works well :)

rossberg commented 9 months ago

Cool, thanks!