#wasm-text #wat #text-format #parser


WebAssembly text format parser for wain project

5 releases

0.2.1 Nov 18, 2023
0.2.0 Jun 11, 2020
0.1.2 May 24, 2020
0.1.1 Apr 14, 2020
0.1.0 Mar 29, 2020

#495 in WebAssembly

39 downloads per month
Used in 2 crates

MIT license

7.5K SLoC


crates.io CI

wain-syntax-text is a crate to parse WebAssembly text format files.

This crate is part of larger wain project.


wain-syntax-text = "0"


Using wain_syntax_text::parse() is the easiest way.

extern crate wain_syntax_text;

use wain_syntax_text::parse;

let source = "(module
  (memory 0 2)
  (table 0 1 1 funcref)
  (export "_start" (func $_start))
  (func $_start)

match parse(source) {
    Ok(tree) => { /* `tree` is a parsed syntax tree */ }
    Err(err) => eprintln!("Error! {}", err),

For the syntax tree structure parsed by this library, please see wain-ast crate.

wain_syntax_text::lexer::Lexer lexes a text format source.

extern crate wain_syntax_text;

use wain_syntax_text::lexer::Lexer;

let source = "(module
  (memory 0 2)
  (table 0 1 1 funcref)
  (export "_start" (func $_start))
  (func $_start)

// Lexer implements Iterator which traverses tokens in the given source
let mut lexer = Lexer::new(source);
for lexed in lexer {
    let (token, offset) = lexed.unwrap();
    // `token` is a lexed token
    // `offset` is a byte offset in the source
    if let Token::Symbol(sym) = token {
        println!("Symbol found: {}", sym);

APIs are provided for each logic:

  • Lexer and parser for WAT syntax tree
  • WAT to WASM translation
  • Composing multiple WASM modules into single WASM module

Working examples can be seen at examples/api/ directory

Please read documentation (not yet) for details.


Sequence to parse Wasm

  1. Lex and parse .wat file into WAT sytnax tree which is dedicated for text format resolving many syntax sugars. Since multiple modules can be put in .wat file, it can be parsed into multiple trees
  2. Translate the WAT syntax trees into common Wasm syntax trees (wain_ast::Root) resolving identifiers. Identifiers may refer things not defined yet (forward references) so .wat file cannot be parsed into common Wasm syntax trees directly
  3. Compose a single module from the multiple Wasm syntax trees following spec


the MIT license