search

terralang / terra

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
terralang.org
Other
2.71k stars 197 forks source link

Fix missing migration leftover from prev. commit #617

Closed romariorios closed 1 year ago

romariorios commented 1 year ago

options changed from a pointer (taken as an argument) to a local object, but the arm code still referenced it as a pointer. Most likely the code has been broken on arm ever since but no one checked.

elliottslaughter commented 1 year ago

Indeed, we have AArch64 but no ARM32 tests, so probably we just missed this. Will merge once the full CI passes.

elliottslaughter commented 1 year ago

Thanks!