Module Wax_wasm.DesugarSource

Sourceexception Conditional_remains of Ast.location

Raised by module_ when an (@if ...) conditional-compilation annotation is still present. Such annotations have no core-wasm form; they must have been resolved beforehand (e.g. with -D/--define). Carries the annotation's source location so the caller can report a located diagnostic.

Sourceexception Unbound_alias of Ast.location

Raised by module_ on a value-type alias use ((@type $id)) that names no alias definition, or a cyclic one, so it has no value type to expand to. Carries the use's location.

Sourceval module_ : Ast.location Ast.Text.module_ -> Ast.location Ast.Text.module_

Expand the Wax-specific @string and @char annotations of a WAT module into core WebAssembly (array.new_fixed / i32.const) — including module-level (@string ...) globals — so the result is plain WebAssembly text. A synthesised i8 array type is appended when an untyped string needs one. Also synthesises the declarative element segment for any ref.func that Wax's lenient reader let the module omit (via Declare_refs), so the output passes strict/spec reference validation. Every value-type alias use is replaced by the value type it stands for, and the alias definitions are dropped. Raises Conditional_remains on any remaining (@if ...), and Unbound_alias on an alias use that cannot be expanded.