vihaco_syntax (crate)

vihaco_syntax¶

vihaco_syntax

Typed parsed-module syntax built from pattern-derived instruction and type syntax.

A ParsedModule contains ParsedFunction values whose bodies are typed instruction vectors. Unknown or malformed instructions are parse errors. Consumers implement Resolve to turn the typed parsed module into the runtime module their machine loads.

Modules

• parse
• resolve