Only arrays of primitive types (Int, Nat, Bool, Byte, Float64) can be compiled. Arrays containing ADTs, other arrays, or Option/Result are not supported in WASM codegen.
Location: vera/wasm/helpers.py _element_mem_size() only handles primitive types.
Spec reference: Chapter 9 (Standard Library), Section 9.4 — "Arrays of compound types (Array<Array<Int>>, Array<Option<Int>>) are not yet supported."
Soft dependency on #51 (garbage collection) — compound elements are heap pointers, and without GC, long-running programs will leak memory. However, short programs work with the bump allocator.
Only arrays of primitive types (
Int,Nat,Bool,Byte,Float64) can be compiled. Arrays containing ADTs, other arrays, orOption/Resultare not supported in WASM codegen.Location:
vera/wasm/helpers.py_element_mem_size()only handles primitive types.Spec reference: Chapter 9 (Standard Library), Section 9.4 — "Arrays of compound types (
Array<Array<Int>>,Array<Option<Int>>) are not yet supported."Soft dependency on #51 (garbage collection) — compound elements are heap pointers, and without GC, long-running programs will leak memory. However, short programs work with the bump allocator.