sexpr_parse

Parser for S-expressions.

Reads a string and parses it into S-expressions of either nodes, atoms, or text.

This crate is specifically designed to parse the S-expressions generated by SpecTec, and it has not been tested on other forms of S-expressions.

Usage

let input = r#"(typ "m" (inst (alias nat)))"#;
let sexprs = parse_sexpr_stream(input).unwrap();
assert_eq!(
    sexprs,
    vec![SExprItem::Node(
        "typ".to_string(),
        vec![
            SExprItem::Text("m".to_string()),
            SExprItem::Node(
                "inst".to_string(),
                vec![SExprItem::Node(
                    "alias".to_string(),
                    vec![SExprItem::Atom("nat".to_string())]
                )]
            )
        ]
    )]
);