]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Machine/G14.expected.txt
sourcephile / git / haskell / symantic-parser.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
test: add goldens for TH splices
[haskell/symantic-parser.git] / test / Golden / Machine / G14.expected.txt
1 pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> u5))))))
2 <hidden>:
3 | lift2Value (\u1 -> (\u2 -> u1 u2))
4 | call <hidden>
5 | lift2Value (\u1 -> (\u2 -> u1 u2))
6 | call <hidden>
7 | lift2Value (\u1 -> (\u2 -> u1 u2))
8 | <hidden>:
9 | | lift2Value (\u1 -> (\u2 -> u1 u2))
10 | | call <hidden>
11 | | lift2Value (\u1 -> (\u2 -> u1 u2))
12 | | <hidden>:
13 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
14 | | | ret
15 | | catchException "fail"
16 | | <try>
17 | | | catchException "fail"
18 | | | <try>
19 | | | | pushInput
20 | | | | read (\u1 -> Term)
21 | | | | popValue
22 | | | | popException "fail"
23 | | | | loadInput
24 | | | | raiseException "fail"
25 | | | <handler>
26 | | | loadInput
27 | | | pushValue Term
28 | | | popException "fail"
29 | | | refJoin <hidden>
30 | | <handler>
31 | | pushInput
32 | | lift2Value Term
33 | | choicesBranch [(\u1 -> u1)]
34 | | <branch>
35 | | | raiseException "fail"
36 | | <default>
37 | | raiseException "fail"
38 | catchException "fail"
39 | <try>
40 | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> (\u12 -> (\u13 -> (\u14 -> (\u15 -> (\u16 -> (\u17 -> (\u18 -> (\u19 -> u18 u19)))))))))))))))))))
41 | | catchException "fail"
42 | | <try>
43 | | | pushValue (\u1 -> Term)
44 | | | catchException "fail"
45 | | | <try>
46 | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> 'f' : ('u' : ('n' : ('c' : ('t' : ('i' : ('o' : ('n' : Term)))))))))))))))
47 | | | | read ('f' ==)
48 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
49 | | | | read ('u' ==)
50 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
51 | | | | read ('n' ==)
52 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
53 | | | | read ('c' ==)
54 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
55 | | | | read ('t' ==)
56 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
57 | | | | read ('i' ==)
58 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
59 | | | | read ('o' ==)
60 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
61 | | | | read ('n' ==)
62 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
63 | | | | popException "fail"
64 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
65 | | | | catchException "fail"
66 | | | | <try>
67 | | | | | pushInput
68 | | | | | read Term
69 | | | | | popValue
70 | | | | | popException "fail"
71 | | | | | loadInput
72 | | | | | raiseException "fail"
73 | | | | <handler>
74 | | | | loadInput
75 | | | | popException "fail"
76 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
77 | | | | call <hidden>
78 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
79 | | | | catchException "fail"
80 | | | | <try>
81 | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
82 | | | | | read Term
83 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
84 | | | | | call <hidden>
85 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
86 | | | | | <hidden>:
87 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
88 | | | | | | call <hidden>
89 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
90 | | | | | | popException "fail"
91 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
92 | | | | | | call <hidden>
93 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
94 | | | | | | read ('(' ==)
95 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
96 | | | | | | call <hidden>
97 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
98 | | | | | | <hidden>:
99 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
100 | | | | | | | <hidden>:
101 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
102 | | | | | | | | read (')' ==)
103 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
104 | | | | | | | | call <hidden>
105 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
106 | | | | | | | | read ('{' ==)
107 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
108 | | | | | | | | call <hidden>
109 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
110 | | | | | | | | call <hidden>
111 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
112 | | | | | | | | <hidden>:
113 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
114 | | | | | | | | | call <hidden>
115 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
116 | | | | | | | | | read ('}' ==)
117 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
118 | | | | | | | | | call <hidden>
119 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
120 | | | | | | | | | call <hidden>
121 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
122 | | | | | | | | | popException "fail"
123 | | | | | | | | | refJoin <hidden>
124 | | | | | | | | catchException "fail"
125 | | | | | | | | <try>
126 | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
127 | | | | | | | | | <hidden>:
128 | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
129 | | | | | | | | | | call <hidden>
130 | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
131 | | | | | | | | | | popException "fail"
132 | | | | | | | | | | refJoin <hidden>
133 | | | | | | | | | catchException "fail"
134 | | | | | | | | | <try>
135 | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> u8))))))))
136 | | | | | | | | | | catchException "fail"
137 | | | | | | | | | | <try>
138 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
139 | | | | | | | | | | | catchException "fail"
140 | | | | | | | | | | | <try>
141 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> 'i' : ('f' : u3))))
142 | | | | | | | | | | | | read ('i' ==)
143 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
144 | | | | | | | | | | | | read ('f' ==)
145 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
146 | | | | | | | | | | | | call <hidden>
147 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
148 | | | | | | | | | | | | popException "fail"
149 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
150 | | | | | | | | | | | | call <hidden>
151 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
152 | | | | | | | | | | | | popException "fail"
153 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
154 | | | | | | | | | | | | call <hidden>
155 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
156 | | | | | | | | | | | | <hidden>:
157 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
158 | | | | | | | | | | | | | call <hidden>
159 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
160 | | | | | | | | | | | | | <hidden>:
161 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
162 | | | | | | | | | | | | | | call <hidden>
163 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
164 | | | | | | | | | | | | | | call <hidden>
165 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
166 | | | | | | | | | | | | | | <hidden>:
167 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
168 | | | | | | | | | | | | | | | popException "fail"
169 | | | | | | | | | | | | | | | refJoin <hidden>
170 | | | | | | | | | | | | | | catchException "fail"
171 | | | | | | | | | | | | | | <try>
172 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> Term)))
173 | | | | | | | | | | | | | | | catchException "fail"
174 | | | | | | | | | | | | | | | <try>
175 | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
176 | | | | | | | | | | | | | | | | catchException "fail"
177 | | | | | | | | | | | | | | | | <try>
178 | | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> 'e' : ('l' : ('s' : ('e' : u5))))))))
179 | | | | | | | | | | | | | | | | | read ('e' ==)
180 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
181 | | | | | | | | | | | | | | | | | read ('l' ==)
182 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
183 | | | | | | | | | | | | | | | | | read ('s' ==)
184 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
185 | | | | | | | | | | | | | | | | | read ('e' ==)
186 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
187 | | | | | | | | | | | | | | | | | call <hidden>
188 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
189 | | | | | | | | | | | | | | | | | popException "fail"
190 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
191 | | | | | | | | | | | | | | | | | call <hidden>
192 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
193 | | | | | | | | | | | | | | | | | popException "fail"
194 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
195 | | | | | | | | | | | | | | | | | call <hidden>
196 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
197 | | | | | | | | | | | | | | | | | call <hidden>
198 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
199 | | | | | | | | | | | | | | | | | popException "fail"
200 | | | | | | | | | | | | | | | | | refJoin <hidden>
201 | | | | | | | | | | | | | | | | <handler>
202 | | | | | | | | | | | | | | | | loadInput
203 | | | | | | | | | | | | | | | | raiseException "fail"
204 | | | | | | | | | | | | | | | <handler>
205 | | | | | | | | | | | | | | | loadInput
206 | | | | | | | | | | | | | | | raiseException "fail"
207 | | | | | | | | | | | | | | <handler>
208 | | | | | | | | | | | | | | pushInput
209 | | | | | | | | | | | | | | lift2Value Term
210 | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
211 | | | | | | | | | | | | | | <branch>
212 | | | | | | | | | | | | | | | call <hidden>
213 | | | | | | | | | | | | | | | refJoin <hidden>
214 | | | | | | | | | | | | | | <default>
215 | | | | | | | | | | | | | | raiseException "fail"
216 | | | | | | | | | | | | | catchException "fail"
217 | | | | | | | | | | | | | <try>
218 | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
219 | | | | | | | | | | | | | | read ('!' ==)
220 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
221 | | | | | | | | | | | | | | call <hidden>
222 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
223 | | | | | | | | | | | | | | call <hidden>
224 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
225 | | | | | | | | | | | | | | call <hidden>
226 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
227 | | | | | | | | | | | | | | popException "fail"
228 | | | | | | | | | | | | | | refJoin <hidden>
229 | | | | | | | | | | | | | <handler>
230 | | | | | | | | | | | | | pushInput
231 | | | | | | | | | | | | | lift2Value Term
232 | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
233 | | | | | | | | | | | | | <branch>
234 | | | | | | | | | | | | | | pushValue (\u1 -> u1)
235 | | | | | | | | | | | | | | refJoin <hidden>
236 | | | | | | | | | | | | | <default>
237 | | | | | | | | | | | | | raiseException "fail"
238 | | | | | | | | | | | | catchException "fail"
239 | | | | | | | | | | | | <try>
240 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
241 | | | | | | | | | | | | | <hidden>:
242 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
243 | | | | | | | | | | | | | | call <hidden>
244 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
245 | | | | | | | | | | | | | | popException "fail"
246 | | | | | | | | | | | | | | refJoin <hidden>
247 | | | | | | | | | | | | | catchException "fail"
248 | | | | | | | | | | | | | <try>
249 | | | | | | | | | | | | | | pushValue (\u1 -> '0')
250 | | | | | | | | | | | | | | read ('0' ==)
251 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
252 | | | | | | | | | | | | | | popException "fail"
253 | | | | | | | | | | | | | | refJoin <hidden>
254 | | | | | | | | | | | | | <handler>
255 | | | | | | | | | | | | | pushInput
256 | | | | | | | | | | | | | lift2Value Term
257 | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
258 | | | | | | | | | | | | | <branch>
259 | | | | | | | | | | | | | | pushValue (\u1 -> '1')
260 | | | | | | | | | | | | | | read ('1' ==)
261 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
262 | | | | | | | | | | | | | | refJoin <hidden>
263 | | | | | | | | | | | | | <default>
264 | | | | | | | | | | | | | raiseException "fail"
265 | | | | | | | | | | | | <handler>
266 | | | | | | | | | | | | pushInput
267 | | | | | | | | | | | | lift2Value Term
268 | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
269 | | | | | | | | | | | | <branch>
270 | | | | | | | | | | | | | catchException "fail"
271 | | | | | | | | | | | | | <try>
272 | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u2))))
273 | | | | | | | | | | | | | | read ('\'' ==)
274 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
275 | | | | | | | | | | | | | | <hidden>:
276 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
277 | | | | | | | | | | | | | | | read ('\'' ==)
278 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
279 | | | | | | | | | | | | | | | call <hidden>
280 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
281 | | | | | | | | | | | | | | | popException "fail"
282 | | | | | | | | | | | | | | | refJoin <hidden>
283 | | | | | | | | | | | | | | catchException "fail"
284 | | | | | | | | | | | | | | <try>
285 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
286 | | | | | | | | | | | | | | | read Term
287 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
288 | | | | | | | | | | | | | | | call <hidden>
289 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
290 | | | | | | | | | | | | | | | popException "fail"
291 | | | | | | | | | | | | | | | refJoin <hidden>
292 | | | | | | | | | | | | | | <handler>
293 | | | | | | | | | | | | | | pushInput
294 | | | | | | | | | | | | | | lift2Value Term
295 | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
296 | | | | | | | | | | | | | | <branch>
297 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u3)))
298 | | | | | | | | | | | | | | | read ('\\' ==)
299 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
300 | | | | | | | | | | | | | | | read Term
301 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
302 | | | | | | | | | | | | | | | call <hidden>
303 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
304 | | | | | | | | | | | | | | | refJoin <hidden>
305 | | | | | | | | | | | | | | <default>
306 | | | | | | | | | | | | | | raiseException "fail"
307 | | | | | | | | | | | | | <handler>
308 | | | | | | | | | | | | | pushInput
309 | | | | | | | | | | | | | lift2Value Term
310 | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
311 | | | | | | | | | | | | | <branch>
312 | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
313 | | | | | | | | | | | | | | call <hidden>
314 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
315 | | | | | | | | | | | | | | <hidden>:
316 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
317 | | | | | | | | | | | | | | | refJoin <hidden>
318 | | | | | | | | | | | | | | catchException "fail"
319 | | | | | | | | | | | | | | <try>
320 | | | | | | | | | | | | | | | pushValue (\u1 -> Term)
321 | | | | | | | | | | | | | | | <hidden>:
322 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
323 | | | | | | | | | | | | | | | | popException "fail"
324 | | | | | | | | | | | | | | | | refJoin <hidden>
325 | | | | | | | | | | | | | | | catchException "fail"
326 | | | | | | | | | | | | | | | <try>
327 | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2)))
328 | | | | | | | | | | | | | | | | call <hidden>
329 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
330 | | | | | | | | | | | | | | | | <hidden>:
331 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
332 | | | | | | | | | | | | | | | | | call <hidden>
333 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
334 | | | | | | | | | | | | | | | | | popException "fail"
335 | | | | | | | | | | | | | | | | | refJoin <hidden>
336 | | | | | | | | | | | | | | | | catchException "fail"
337 | | | | | | | | | | | | | | | | <try>
338 | | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
339 | | | | | | | | | | | | | | | | | call <hidden>
340 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
341 | | | | | | | | | | | | | | | | | call <hidden>
342 | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
343 | | | | | | | | | | | | | | | | | <hidden>:
344 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
345 | | | | | | | | | | | | | | | | | | call <hidden>
346 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
347 | | | | | | | | | | | | | | | | | | popException "fail"
348 | | | | | | | | | | | | | | | | | | refJoin <hidden>
349 | | | | | | | | | | | | | | | | | catchException "fail"
350 | | | | | | | | | | | | | | | | | <try>
351 | | | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
352 | | | | | | | | | | | | | | | | | | call <hidden>
353 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
354 | | | | | | | | | | | | | | | | | | call <hidden>
355 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
356 | | | | | | | | | | | | | | | | | | call <hidden>
357 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
358 | | | | | | | | | | | | | | | | | | call <hidden>
359 | | | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
360 | | | | | | | | | | | | | | | | | | popException "fail"
361 | | | | | | | | | | | | | | | | | | refJoin <hidden>
362 | | | | | | | | | | | | | | | | | <handler>
363 | | | | | | | | | | | | | | | | | pushInput
364 | | | | | | | | | | | | | | | | | lift2Value Term
365 | | | | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
366 | | | | | | | | | | | | | | | | | <branch>
367 | | | | | | | | | | | | | | | | | | pushValue (\u1 -> u1)
368 | | | | | | | | | | | | | | | | | | refJoin <hidden>
369 | | | | | | | | | | | | | | | | | <default>
370 | | | | | | | | | | | | | | | | | raiseException "fail"
371 | | | | | | | | | | | | | | | | <handler>
372 | | | | | | | | | | | | | | | | pushInput
373 | | | | | | | | | | | | | | | | lift2Value Term
374 | | | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
375 | | | | | | | | | | | | | | | | <branch>
376 | | | | | | | | | | | | | | | | | call <hidden>
377 | | | | | | | | | | | | | | | | | refJoin <hidden>
378 | | | | | | | | | | | | | | | | <default>
379 | | | | | | | | | | | | | | | | raiseException "fail"
380 | | | | | | | | | | | | | | | <handler>
381 | | | | | | | | | | | | | | | pushInput
382 | | | | | | | | | | | | | | | lift2Value Term
383 | | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
384 | | | | | | | | | | | | | | | <branch>
385 | | | | | | | | | | | | | | | | call <hidden>
386 | | | | | | | | | | | | | | | | refJoin <hidden>
387 | | | | | | | | | | | | | | | <default>
388 | | | | | | | | | | | | | | | raiseException "fail"
389 | | | | | | | | | | | | | | <handler>
390 | | | | | | | | | | | | | | pushInput
391 | | | | | | | | | | | | | | lift2Value Term
392 | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
393 | | | | | | | | | | | | | | <branch>
394 | | | | | | | | | | | | | | | call <hidden>
395 | | | | | | | | | | | | | | | refJoin <hidden>
396 | | | | | | | | | | | | | | <default>
397 | | | | | | | | | | | | | | raiseException "fail"
398 | | | | | | | | | | | | | <default>
399 | | | | | | | | | | | | | raiseException "fail"
400 | | | | | | | | | | | | <default>
401 | | | | | | | | | | | | raiseException "fail"
402 | | | | | | | | | | | <handler>
403 | | | | | | | | | | | loadInput
404 | | | | | | | | | | | raiseException "fail"
405 | | | | | | | | | | <handler>
406 | | | | | | | | | | loadInput
407 | | | | | | | | | | raiseException "fail"
408 | | | | | | | | | <handler>
409 | | | | | | | | | pushInput
410 | | | | | | | | | lift2Value Term
411 | | | | | | | | | choicesBranch [(\u1 -> u1)]
412 | | | | | | | | | <branch>
413 | | | | | | | | | | catchException "fail"
414 | | | | | | | | | | <try>
415 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
416 | | | | | | | | | | | catchException "fail"
417 | | | | | | | | | | | <try>
418 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
419 | | | | | | | | | | | | catchException "fail"
420 | | | | | | | | | | | | <try>
421 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> 'w' : ('h' : ('i' : ('l' : ('e' : u6))))))))))
422 | | | | | | | | | | | | | read ('w' ==)
423 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
424 | | | | | | | | | | | | | read ('h' ==)
425 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
426 | | | | | | | | | | | | | read ('i' ==)
427 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
428 | | | | | | | | | | | | | read ('l' ==)
429 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
430 | | | | | | | | | | | | | read ('e' ==)
431 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
432 | | | | | | | | | | | | | call <hidden>
433 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
434 | | | | | | | | | | | | | popException "fail"
435 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
436 | | | | | | | | | | | | | call <hidden>
437 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
438 | | | | | | | | | | | | | popException "fail"
439 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
440 | | | | | | | | | | | | | call <hidden>
441 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
442 | | | | | | | | | | | | | call <hidden>
443 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
444 | | | | | | | | | | | | | call <hidden>
445 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
446 | | | | | | | | | | | | | popException "fail"
447 | | | | | | | | | | | | | refJoin <hidden>
448 | | | | | | | | | | | | <handler>
449 | | | | | | | | | | | | loadInput
450 | | | | | | | | | | | | raiseException "fail"
451 | | | | | | | | | | | <handler>
452 | | | | | | | | | | | loadInput
453 | | | | | | | | | | | raiseException "fail"
454 | | | | | | | | | | <handler>
455 | | | | | | | | | | pushInput
456 | | | | | | | | | | lift2Value Term
457 | | | | | | | | | | choicesBranch [(\u1 -> u1)]
458 | | | | | | | | | | <branch>
459 | | | | | | | | | | | catchException "fail"
460 | | | | | | | | | | | <try>
461 | | | | | | | | | | | | catchException "fail"
462 | | | | | | | | | | | | <try>
463 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> (\u12 -> (\u13 -> u11)))))))))))))
464 | | | | | | | | | | | | | <hidden>:
465 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
466 | | | | | | | | | | | | | | call <hidden>
467 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
468 | | | | | | | | | | | | | | call <hidden>
469 | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
470 | | | | | | | | | | | | | | <hidden>:
471 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
472 | | | | | | | | | | | | | | | call <hidden>
473 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
474 | | | | | | | | | | | | | | | read ('=' ==)
475 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
476 | | | | | | | | | | | | | | | call <hidden>
477 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
478 | | | | | | | | | | | | | | | call <hidden>
479 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
480 | | | | | | | | | | | | | | | call <hidden>
481 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
482 | | | | | | | | | | | | | | | <hidden>:
483 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
484 | | | | | | | | | | | | | | | | call <hidden>
485 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
486 | | | | | | | | | | | | | | | | read (';' ==)
487 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
488 | | | | | | | | | | | | | | | | call <hidden>
489 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
490 | | | | | | | | | | | | | | | | popException "fail"
491 | | | | | | | | | | | | | | | | popException "fail"
492 | | | | | | | | | | | | | | | | refJoin <hidden>
493 | | | | | | | | | | | | | | | catchException "fail"
494 | | | | | | | | | | | | | | | <try>
495 | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
496 | | | | | | | | | | | | | | | | call <hidden>
497 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
498 | | | | | | | | | | | | | | | | call <hidden>
499 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
500 | | | | | | | | | | | | | | | | call <hidden>
501 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
502 | | | | | | | | | | | | | | | | call <hidden>
503 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
504 | | | | | | | | | | | | | | | | popException "fail"
505 | | | | | | | | | | | | | | | | refJoin <hidden>
506 | | | | | | | | | | | | | | | <handler>
507 | | | | | | | | | | | | | | | pushInput
508 | | | | | | | | | | | | | | | lift2Value Term
509 | | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
510 | | | | | | | | | | | | | | | <branch>
511 | | | | | | | | | | | | | | | | pushValue (\u1 -> u1)
512 | | | | | | | | | | | | | | | | refJoin <hidden>
513 | | | | | | | | | | | | | | | <default>
514 | | | | | | | | | | | | | | | raiseException "fail"
515 | | | | | | | | | | | | | | catchException "fail"
516 | | | | | | | | | | | | | | <try>
517 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
518 | | | | | | | | | | | | | | | call <hidden>
519 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
520 | | | | | | | | | | | | | | | call <hidden>
521 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
522 | | | | | | | | | | | | | | | call <hidden>
523 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
524 | | | | | | | | | | | | | | | call <hidden>
525 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
526 | | | | | | | | | | | | | | | popException "fail"
527 | | | | | | | | | | | | | | | refJoin <hidden>
528 | | | | | | | | | | | | | | <handler>
529 | | | | | | | | | | | | | | pushInput
530 | | | | | | | | | | | | | | lift2Value Term
531 | | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
532 | | | | | | | | | | | | | | <branch>
533 | | | | | | | | | | | | | | | pushValue (\u1 -> u1)
534 | | | | | | | | | | | | | | | refJoin <hidden>
535 | | | | | | | | | | | | | | <default>
536 | | | | | | | | | | | | | | raiseException "fail"
537 | | | | | | | | | | | | | catchException "fail"
538 | | | | | | | | | | | | | <try>
539 | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> Term))
540 | | | | | | | | | | | | | | catchException "fail"
541 | | | | | | | | | | | | | | <try>
542 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u2))
543 | | | | | | | | | | | | | | | catchException "fail"
544 | | | | | | | | | | | | | | | <try>
545 | | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'v' : ('a' : ('r' : u4))))))
546 | | | | | | | | | | | | | | | | read ('v' ==)
547 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
548 | | | | | | | | | | | | | | | | read ('a' ==)
549 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
550 | | | | | | | | | | | | | | | | read ('r' ==)
551 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
552 | | | | | | | | | | | | | | | | call <hidden>
553 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
554 | | | | | | | | | | | | | | | | popException "fail"
555 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
556 | | | | | | | | | | | | | | | | call <hidden>
557 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
558 | | | | | | | | | | | | | | | | popException "fail"
559 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
560 | | | | | | | | | | | | | | | | call <hidden>
561 | | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
562 | | | | | | | | | | | | | | | | popException "fail"
563 | | | | | | | | | | | | | | | | refJoin <hidden>
564 | | | | | | | | | | | | | | | <handler>
565 | | | | | | | | | | | | | | | loadInput
566 | | | | | | | | | | | | | | | raiseException "fail"
567 | | | | | | | | | | | | | | <handler>
568 | | | | | | | | | | | | | | loadInput
569 | | | | | | | | | | | | | | raiseException "fail"
570 | | | | | | | | | | | | | <handler>
571 | | | | | | | | | | | | | pushInput
572 | | | | | | | | | | | | | lift2Value Term
573 | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
574 | | | | | | | | | | | | | <branch>
575 | | | | | | | | | | | | | | call <hidden>
576 | | | | | | | | | | | | | | refJoin <hidden>
577 | | | | | | | | | | | | | <default>
578 | | | | | | | | | | | | | raiseException "fail"
579 | | | | | | | | | | | | <handler>
580 | | | | | | | | | | | | loadInput
581 | | | | | | | | | | | | raiseException "fail"
582 | | | | | | | | | | | <handler>
583 | | | | | | | | | | | pushInput
584 | | | | | | | | | | | lift2Value Term
585 | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
586 | | | | | | | | | | | <branch>
587 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
588 | | | | | | | | | | | | call <hidden>
589 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
590 | | | | | | | | | | | | call <hidden>
591 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
592 | | | | | | | | | | | | refJoin <hidden>
593 | | | | | | | | | | | <default>
594 | | | | | | | | | | | raiseException "fail"
595 | | | | | | | | | | <default>
596 | | | | | | | | | | raiseException "fail"
597 | | | | | | | | | <default>
598 | | | | | | | | | raiseException "fail"
599 | | | | | | | | <handler>
600 | | | | | | | | pushInput
601 | | | | | | | | lift2Value Term
602 | | | | | | | | choicesBranch [(\u1 -> u1)]
603 | | | | | | | | <branch>
604 | | | | | | | | | pushValue (\u1 -> u1)
605 | | | | | | | | | refJoin <hidden>
606 | | | | | | | | <default>
607 | | | | | | | | raiseException "fail"
608 | | | | | | | catchException "fail"
609 | | | | | | | <try>
610 | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> Term)))
611 | | | | | | | | read (':' ==)
612 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
613 | | | | | | | | call <hidden>
614 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
615 | | | | | | | | call <hidden>
616 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
617 | | | | | | | | popException "fail"
618 | | | | | | | | refJoin <hidden>
619 | | | | | | | <handler>
620 | | | | | | | pushInput
621 | | | | | | | lift2Value Term
622 | | | | | | | choicesBranch [(\u1 -> u1)]
623 | | | | | | | <branch>
624 | | | | | | | | call <hidden>
625 | | | | | | | | refJoin <hidden>
626 | | | | | | | <default>
627 | | | | | | | raiseException "fail"
628 | | | | | | catchException "fail"
629 | | | | | | <try>
630 | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> Term)))))
631 | | | | | | | call <hidden>
632 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
633 | | | | | | | <hidden>:
634 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
635 | | | | | | | | call <hidden>
636 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
637 | | | | | | | | <hidden>:
638 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
639 | | | | | | | | | call <hidden>
640 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
641 | | | | | | | | | popException "fail"
642 | | | | | | | | | refJoin <hidden>
643 | | | | | | | | catchException "fail"
644 | | | | | | | | <try>
645 | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
646 | | | | | | | | | read (',' ==)
647 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
648 | | | | | | | | | call <hidden>
649 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
650 | | | | | | | | | call <hidden>
651 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
652 | | | | | | | | | call <hidden>
653 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
654 | | | | | | | | | popException "fail"
655 | | | | | | | | | refJoin <hidden>
656 | | | | | | | | <handler>
657 | | | | | | | | pushInput
658 | | | | | | | | lift2Value Term
659 | | | | | | | | choicesBranch [(\u1 -> u1)]
660 | | | | | | | | <branch>
661 | | | | | | | | | pushValue (\u1 -> u1)
662 | | | | | | | | | refJoin <hidden>
663 | | | | | | | | <default>
664 | | | | | | | | raiseException "fail"
665 | | | | | | | catchException "fail"
666 | | | | | | | <try>
667 | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term))))))
668 | | | | | | | | read ('[' ==)
669 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
670 | | | | | | | | call <hidden>
671 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
672 | | | | | | | | read Term
673 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
674 | | | | | | | | <hidden>:
675 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
676 | | | | | | | | | read (']' ==)
677 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
678 | | | | | | | | | call <hidden>
679 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
680 | | | | | | | | | popException "fail"
681 | | | | | | | | | refJoin <hidden>
682 | | | | | | | | catchException "fail"
683 | | | | | | | | <try>
684 | | | | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
685 | | | | | | | | | call <hidden>
686 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
687 | | | | | | | | | call <hidden>
688 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
689 | | | | | | | | | popException "fail"
690 | | | | | | | | | refJoin <hidden>
691 | | | | | | | | <handler>
692 | | | | | | | | pushInput
693 | | | | | | | | lift2Value Term
694 | | | | | | | | choicesBranch [(\u1 -> u1)]
695 | | | | | | | | <branch>
696 | | | | | | | | | pushValue (\u1 -> u1)
697 | | | | | | | | | refJoin <hidden>
698 | | | | | | | | <default>
699 | | | | | | | | raiseException "fail"
700 | | | | | | | <handler>
701 | | | | | | | pushInput
702 | | | | | | | lift2Value Term
703 | | | | | | | choicesBranch [(\u1 -> u1)]
704 | | | | | | | <branch>
705 | | | | | | | | call <hidden>
706 | | | | | | | | refJoin <hidden>
707 | | | | | | | <default>
708 | | | | | | | raiseException "fail"
709 | | | | | | <handler>
710 | | | | | | pushInput
711 | | | | | | lift2Value Term
712 | | | | | | choicesBranch [(\u1 -> u1)]
713 | | | | | | <branch>
714 | | | | | | | call <hidden>
715 | | | | | | | refJoin <hidden>
716 | | | | | | <default>
717 | | | | | | raiseException "fail"
718 | | | | | catchException "fail"
719 | | | | | <try>
720 | | | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
721 | | | | | | read Term
722 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
723 | | | | | | call <hidden>
724 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
725 | | | | | | popException "fail"
726 | | | | | | refJoin <hidden>
727 | | | | | <handler>
728 | | | | | pushInput
729 | | | | | lift2Value Term
730 | | | | | choicesBranch [(\u1 -> u1)]
731 | | | | | <branch>
732 | | | | | | pushValue (\u1 -> u1)
733 | | | | | | refJoin <hidden>
734 | | | | | <default>
735 | | | | | raiseException "fail"
736 | | | | <handler>
737 | | | | loadInput
738 | | | | raiseException "fail"
739 | | | <handler>
740 | | | loadInput
741 | | | raiseException "fail"
742 | | <handler>
743 | | loadInput
744 | | raiseException "fail"
745 | <handler>
746 | pushInput
747 | lift2Value Term
748 | choicesBranch [(\u1 -> u1)]
749 | <branch>
750 | | pushValue (\u1 -> u1)
751 | | refJoin <hidden>
752 | <default>
753 | raiseException "fail"
754 catchException "fail"
755 <try>
756 | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
757 | <hidden>:
758 | | lift2Value (\u1 -> (\u2 -> u1 u2))
759 | | call <hidden>
760 | | lift2Value (\u1 -> (\u2 -> u1 u2))
761 | | popException "fail"
762 | | refJoin <hidden>
763 | catchException "fail"
764 | <try>
765 | | pushValue (\u1 -> (\u2 -> (\u3 -> Term)))
766 | | read Term
767 | | lift2Value (\u1 -> (\u2 -> u1 u2))
768 | | call <hidden>
769 | | lift2Value (\u1 -> (\u2 -> u1 u2))
770 | | <hidden>:
771 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
772 | | | popException "fail"
773 | | | refJoin <hidden>
774 | | catchException "fail"
775 | | <try>
776 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
777 | | | call <hidden>
778 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
779 | | | call <hidden>
780 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
781 | | | popException "fail"
782 | | | refJoin <hidden>
783 | | <handler>
784 | | pushInput
785 | | lift2Value Term
786 | | choicesBranch [(\u1 -> u1)]
787 | | <branch>
788 | | | pushValue (\u1 -> u1)
789 | | | refJoin <hidden>
790 | | <default>
791 | | raiseException "fail"
792 | <handler>
793 | pushInput
794 | lift2Value Term
795 | choicesBranch [(\u1 -> u1)]
796 | <branch>
797 | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u5)))))
798 | | catchException "fail"
799 | | <try>
800 | | | pushValue (\u1 -> (\u2 -> '/' : ('/' : Term)))
801 | | | read ('/' ==)
802 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
803 | | | read ('/' ==)
804 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
805 | | | popException "fail"
806 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
807 | | | call <hidden>
808 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
809 | | | <hidden>:
810 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
811 | | | | call <hidden>
812 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
813 | | | | call <hidden>
814 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
815 | | | | refJoin <hidden>
816 | | | catchException "fail"
817 | | | <try>
818 | | | | pushValue (\u1 -> (\u2 -> (\u3 -> u2 u3)))
819 | | | | read Term
820 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
821 | | | | call <hidden>
822 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
823 | | | | popException "fail"
824 | | | | refJoin <hidden>
825 | | | <handler>
826 | | | pushInput
827 | | | lift2Value Term
828 | | | choicesBranch [(\u1 -> u1)]
829 | | | <branch>
830 | | | | pushValue (\u1 -> u1)
831 | | | | refJoin <hidden>
832 | | | <default>
833 | | | raiseException "fail"
834 | | <handler>
835 | | loadInput
836 | | raiseException "fail"
837 | <default>
838 | raiseException "fail"
839 <handler>
840 pushInput
841 lift2Value Term
842 choicesBranch [(\u1 -> u1)]
843 <branch>
844 | pushValue (\u1 -> u1)
845 | refJoin <hidden>
846 <default>
847 raiseException "fail"
Library for parsing