toresy 0.2.0

Simple term rewriting system based on tokenization
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

let prefix = "";
for t in tokens {
    switch t.enum_type {
        "Identifier" => prefix ++ t.value,
        "Number" => prefix ++ t.value,
        "Symbol" => prefix ++ t.value,
        "OpenParen" => prefix ++ t.value,
        "CloseParen" => prefix ++ t.value,
        "StringLiteral" => switch t.quote_style {
            "Single" => prefix ++ "'" ++ t.value ++ "'",
            "Double" => prefix ++ "\"" ++ t.value ++ "\"",
        },
    }
    prefix = " ";
}