blob: 35e5f5c54924b4fa8929be1dfb2b375a2f001d47 (
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
50
|
##### LM #####
context undo
lex
ignore /( ' ' | '\t')+/
literal '*', '(', ')', '^', ';', '\n'
token id /[a-zA-Z_]+/
end
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 start
[A1 item* '^']
| [A2 item* ';' '\n']
end # undo
cons Undo: undo[]
Undo.Out = construct parser<undo::out> []
parse Input: undo::start(Undo)[ stdin ]
print( Input )
##### IN #####
a b c;
##### EXP #####
a b c;
|
