blob: c7066fa798a380dc457b0ddf708ebabfc092e679 (
plain)
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
|
context undo
{
lex
{
ignore /[ \t]+/
literal '*', '(', ')', '^', ';', '\n', '.'
token id /[a-zA-Z_]+/
}
Out: parser<out>
def out_item
[id]
| ['(' item* ')']
def out
[out_item*]
def item
[id]
{
send Out [r1]
}
| ['(' item* ')']
{
send Out ['(']
send Out [r2]
send Out [')']
}
def A1 []
def A2 []
def F
[]
{
print_xml( Out() )
}
def start
[A1 item* F '.' '^']
| [A2 item* F '.' ';' '\n']
}
cons Undo: undo[]
Undo.Out = construct parser<undo::out> []
parse Input: undo::start(Undo)[ stdin ]
print( Input.tree )
|
