-
Notifications
You must be signed in to change notification settings - Fork 0
/
test.tree.txt
218 lines (218 loc) · 20.7 KB
/
test.tree.txt
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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
(prog [0, 0] - [43, 0]
(imp [0, 0] - [0, 30]
(name [0, 6] - [0, 12])
(text [0, 14] - [0, 30]))
(linecomment [1, 0] - [1, 17])
(imp [2, 0] - [2, 24]
(name [2, 6] - [2, 13])
(text [2, 15] - [2, 24]))
(imp [3, 0] - [3, 22]
(name [3, 6] - [3, 12])
(text [3, 14] - [3, 22]))
(imp [4, 0] - [4, 20]
(name [4, 6] - [4, 11])
(text [4, 13] - [4, 20]))
(dec [6, 0] - [42, 1]
(dec_obj [6, 0] - [42, 1]
sort: (obj_sort [6, 0] - [6, 5])
name: (name [6, 5] - [6, 10])
(dec_field [8, 0] - [12, 5]
stab: (stab [8, 0] - [8, 8])
(dec [8, 8] - [12, 5]
(dec_var [8, 8] - [12, 5]
name: (name [8, 12] - [8, 18])
value: (exp [9, 0] - [12, 5]
(do [9, 0] - [12, 5]
(block [9, 6] - [12, 5]
(dec [10, 0] - [10, 29]
(dec_let [10, 0] - [10, 29]
pat: (pat [10, 9] - [10, 14]
(name [10, 9] - [10, 14]))
value: (exp [10, 16] - [10, 29]
(call [10, 16] - [10, 29]
invoked: (exp_post [10, 16] - [10, 27]
(name [10, 16] - [10, 23])
member: (name [10, 24] - [10, 27]))
arg: (exp_plain [10, 27] - [10, 29])))))
(dec [11, 0] - [11, 57]
(call [11, 0] - [11, 57]
invoked: (exp_post [11, 0] - [11, 15]
(name [11, 0] - [11, 11])
member: (name [11, 12] - [11, 15]))
arg: (exp_plain [11, 15] - [11, 57]
(exp [11, 16] - [11, 18]
(exp_plain [11, 16] - [11, 18]
(nat [11, 16] - [11, 18])))
(exp [11, 19] - [11, 56]
(dec_func [11, 19] - [11, 56]
pat: (pat_tuple [11, 25] - [11, 31]
(name [11, 26] - [11, 27])
(name [11, 28] - [11, 30]))
body: (block [11, 31] - [11, 56]
(dec [11, 33] - [11, 54]
(exp_bin [11, 33] - [11, 54]
arg0: (exp_bin [11, 33] - [11, 49]
arg0: (call [11, 33] - [11, 45]
invoked: (exp_post [11, 33] - [11, 43]
(name [11, 33] - [11, 38])
member: (name [11, 39] - [11, 43]))
arg: (exp_plain [11, 43] - [11, 45]))
arg1: (exp_plain [11, 47] - [11, 49]
(nat [11, 47] - [11, 49])))
arg1: (exp_plain [11, 52] - [11, 54]
(nat [11, 52] - [11, 54]))))))))))))))))
(dec_field [14, 0] - [16, 3]
vis: (vis [14, 0] - [14, 8])
(dec [14, 8] - [16, 3]
(dec_func [14, 8] - [16, 3]
name: (name [14, 14] - [14, 24])
pat: (pat_tuple [14, 24] - [14, 26])
body: (block [14, 26] - [16, 3]
(dec [15, 0] - [15, 26]
(assign [15, 0] - [15, 26]
binding: (name [15, 0] - [15, 9])
value: (exp [15, 12] - [15, 26]
(call [15, 12] - [15, 26]
invoked: (exp_post [15, 12] - [15, 24]
(name [15, 12] - [15, 16])
member: (name [15, 17] - [15, 24]))
arg: (exp_plain [15, 24] - [15, 26])))))))))
(dec_field [18, 0] - [20, 3]
vis: (vis [18, 0] - [18, 8])
(dec [18, 8] - [20, 3]
(dec_func [18, 8] - [20, 3]
name: (name [18, 14] - [18, 25])
pat: (pat_tuple [18, 25] - [18, 27])
body: (block [18, 27] - [20, 3]
(dec [19, 0] - [19, 34]
(call [19, 0] - [19, 34]
invoked: (exp_post [19, 0] - [19, 15]
(name [19, 0] - [19, 9])
member: (name [19, 10] - [19, 15]))
arg: (exp_plain [19, 15] - [19, 34]
(exp [19, 16] - [19, 33]
(exp_plain [19, 16] - [19, 33]
(text [19, 16] - [19, 33]))))))))))
(dec_field [22, 0] - [24, 3]
vis: (vis [22, 0] - [22, 8])
(dec [22, 8] - [24, 3]
(dec_func [22, 8] - [24, 3]
opt: (shared_pat_opt [22, 8] - [22, 14])
name: (name [22, 20] - [22, 31])
pat: (pat_tuple [22, 31] - [22, 33])
return_type: (typ [22, 36] - [22, 46]
(typ_pre [22, 36] - [22, 46]
(typ_id [22, 41] - [22, 46]
name: (name [22, 41] - [22, 46]))))
body: (block [22, 47] - [24, 3]
(dec [23, 0] - [23, 29]
(exp_un [23, 0] - [23, 29]
(exp_plain [23, 14] - [23, 29]
(exp [23, 15] - [23, 28]
(call [23, 15] - [23, 28]
invoked: (exp_post [23, 15] - [23, 26]
(name [23, 15] - [23, 18])
member: (name [23, 19] - [23, 26]))
arg: (exp_plain [23, 26] - [23, 28]))))))))))
(dec_field [26, 0] - [26, 28]
(dec [26, 0] - [26, 28]
(dec_var [26, 0] - [26, 28]
name: (name [26, 5] - [26, 9])
value: (exp [26, 11] - [26, 28]
(call [26, 11] - [26, 28]
invoked: (exp_post [26, 11] - [26, 21]
(name [26, 11] - [26, 16])
member: (name [26, 17] - [26, 21]))
arg: (exp_plain [26, 21] - [26, 28]
(exp [26, 22] - [26, 27]
(name [26, 22] - [26, 27]))))))))
(dec_field [28, 0] - [28, 68]
(dec [28, 0] - [28, 68]
(dec_var [28, 0] - [28, 68]
name: (name [28, 5] - [28, 9])
value: (exp [28, 11] - [28, 68]
(call [28, 11] - [28, 68]
invoked: (exp_post [28, 11] - [28, 21]
(name [28, 11] - [28, 16])
member: (name [28, 17] - [28, 21]))
arg: (exp_plain [28, 21] - [28, 68]
(exp [28, 22] - [28, 67]
(call [28, 22] - [28, 67]
invoked: (exp_post [28, 22] - [28, 31]
(name [28, 22] - [28, 27])
member: (name [28, 28] - [28, 31]))
arg: (exp_plain [28, 31] - [28, 67]
(exp [28, 32] - [28, 42]
(call [28, 32] - [28, 42]
invoked: (exp_post [28, 32] - [28, 40]
(name [28, 32] - [28, 35])
member: (name [28, 36] - [28, 40]))
arg: (exp_plain [28, 40] - [28, 42])))
(exp [28, 43] - [28, 66]
(dec_func [28, 43] - [28, 66]
pat: (pat_tuple [28, 49] - [28, 55]
(name [28, 50] - [28, 51])
(name [28, 52] - [28, 54]))
body: (block [28, 55] - [28, 66]
(dec [28, 57] - [28, 63]
(exp_plain [28, 57] - [28, 63]
(bool [28, 57] - [28, 63])))))))))))))))
(dec_field [30, 0] - [36, 3]
vis: (vis [30, 0] - [30, 8])
(dec [30, 8] - [36, 3]
(dec_func [30, 8] - [36, 3]
name: (name [30, 14] - [30, 18])
pat: (pat_tuple [30, 18] - [30, 20])
return_type: (typ [30, 23] - [30, 33]
(typ_pre [30, 23] - [30, 33]
(typ_id [30, 28] - [30, 33]
name: (name [30, 28] - [30, 33]))))
body: (block [30, 34] - [36, 3]
(dec [31, 0] - [31, 17]
(call [31, 0] - [31, 17]
invoked: (exp_post [31, 0] - [31, 12]
(name [31, 0] - [31, 7])
member: (name [31, 8] - [31, 12]))
arg: (exp_plain [31, 12] - [31, 17]
(exp [31, 13] - [31, 16]
(name [31, 13] - [31, 16])))))
(dec [32, 0] - [32, 18]
(dec_let [32, 0] - [32, 18]
pat: (pat [32, 7] - [32, 12]
(name [32, 7] - [32, 12]))
value: (exp [32, 14] - [32, 18]
(name [32, 14] - [32, 18]))))
(dec [33, 0] - [33, 14]
(assign [33, 0] - [33, 14]
binding: (name [33, 0] - [33, 7])
value: (exp [33, 10] - [33, 14]
(name [33, 10] - [33, 14]))))
(dec [34, 0] - [34, 15]
(assign [34, 0] - [34, 15]
binding: (name [34, 0] - [34, 7])
value: (exp [34, 10] - [34, 15]
(name [34, 10] - [34, 15]))))
(dec [35, 0] - [35, 16]
(call [35, 0] - [35, 16]
invoked: (exp_post [35, 0] - [35, 14]
(name [35, 0] - [35, 7])
member: (name [35, 8] - [35, 14]))
arg: (exp_plain [35, 14] - [35, 16])))))))
(dec_field [38, 0] - [40, 3]
vis: (vis [38, 0] - [38, 8])
(dec [38, 8] - [40, 3]
(dec_func [38, 8] - [40, 3]
opt: (shared_pat_opt [38, 8] - [38, 14])
name: (name [38, 20] - [38, 27])
pat: (pat_tuple [38, 27] - [38, 29])
return_type: (typ [38, 32] - [38, 42]
(typ_pre [38, 32] - [38, 42]
(typ_id [38, 37] - [38, 42]
name: (name [38, 37] - [38, 42]))))
body: (block [38, 43] - [40, 3]
(dec [39, 0] - [39, 16]
(call [39, 0] - [39, 16]
invoked: (exp_post [39, 0] - [39, 14]
(name [39, 0] - [39, 7])
member: (name [39, 8] - [39, 14]))
arg: (exp_plain [39, 14] - [39, 16]))))))))))