spectec_ast 1.0.0

Parser for SpecTec ASTs in S-expression format
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

use crate::{
    SpecTecArg, SpecTecBind, SpecTecBoolTyp, SpecTecExp, SpecTecIter, SpecTecNumTyp, SpecTecPrem,
};
use decode_derive::SExprDecode;

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L70>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecOpTyp {
    #[sexpr_atom()]
    Num(SpecTecNumTyp),
    #[sexpr_atom()]
    Bool(SpecTecBoolTyp),
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#74>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecTyp {
    #[sexpr_node(name = "var")]
    Var { x: String, as1: Vec<SpecTecArg> },
    #[sexpr_atom(name = "bool")]
    Bool,
    #[sexpr_atom()]
    Num(SpecTecNumTyp),
    #[sexpr_atom(name = "text")]
    Text,
    #[sexpr_node(name = "tup")]
    Tup { ets: Vec<SpecTecTypBind> },
    #[sexpr_node(name = "iter")]
    Iter {
        t1: Box<SpecTecTyp>,
        it: Vec<SpecTecIter>,
    },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#83>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecDefTyp {
    #[sexpr_node(name = "alias")]
    Alias { typ: SpecTecTyp },
    #[sexpr_node(name = "struct")]
    Struct { tfs: Vec<SpecTecTypField> },
    #[sexpr_node(name = "variant")]
    Variant { tcs: Vec<SpecTecTypCase> },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#89>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecTypBind {
    #[sexpr_node(name = "bind")]
    Bind { exp: SpecTecExp, typ: SpecTecTyp },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#92>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecTypField {
    #[sexpr_node(name = "field")]
    Field {
        at: crate::literal::MixOp,
        bs: Vec<SpecTecBind>,
        t: SpecTecTyp,
        prs: Vec<SpecTecPrem>,
    },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#95>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecTypCase {
    #[sexpr_node(name = "case")]
    Field {
        op: crate::literal::MixOp,
        bs: Vec<SpecTecBind>,
        t: SpecTecTyp,
        prs: Vec<SpecTecPrem>,
    },
}