]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Machine/G13.expected.txt
machine: fix factorize out raiseException
[haskell/symantic-parser.git] / test / Golden / Machine / G13.expected.txt
1 let <hidden>
2 minReads=(Right 0)
3 mayRaise=[]
4 | call <hidden>
5 | minReads=(Right 0)
6 | mayRaise=[]
7 | pushValue Term
8 | minReads=(Right 0)
9 | mayRaise=[]
10 | lift2Value (\u1 -> (\u2 -> u1 u2))
11 | minReads=(Right 0)
12 | mayRaise=[]
13 | ret
14 | minReads=(Right 0)
15 | mayRaise=[]
16 let <hidden>
17 minReads=(Right 0)
18 mayRaise=[]
19 | catch ExceptionFailure
20 | minReads=(Right 0)
21 | mayRaise=[]
22 | | <ok>
23 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
24 | | | minReads=(Right 1)
25 | | | mayRaise=[ExceptionFailure]
26 | | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
27 | | | minReads=(Right 1)
28 | | | mayRaise=[ExceptionFailure]
29 | | | pushValue (\u1 -> (\u2 -> u1))
30 | | | minReads=(Right 1)
31 | | | mayRaise=[ExceptionFailure]
32 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
33 | | | minReads=(Right 1)
34 | | | mayRaise=[ExceptionFailure]
35 | | | read Term
36 | | | minReads=(Right 1)
37 | | | mayRaise=[ExceptionFailure]
38 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
39 | | | minReads=(Right 0)
40 | | | mayRaise=[]
41 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
42 | | | minReads=(Right 0)
43 | | | mayRaise=[]
44 | | | call <hidden>
45 | | | minReads=(Right 0)
46 | | | mayRaise=[]
47 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
48 | | | minReads=(Right 0)
49 | | | mayRaise=[]
50 | | | commit ExceptionFailure
51 | | | minReads=(Right 0)
52 | | | mayRaise=[]
53 | | | ret
54 | | | minReads=(Right 0)
55 | | | mayRaise=[]
56 | | <ko>
57 | | | pushInput
58 | | | minReads=(Right 0)
59 | | | mayRaise=[ExceptionFailure]
60 | | | lift2Value Term
61 | | | minReads=(Right 0)
62 | | | mayRaise=[ExceptionFailure]
63 | | | choicesBranch [(\u1 -> u1)]
64 | | | minReads=(Right 0)
65 | | | mayRaise=[ExceptionFailure]
66 | | | | <branch>
67 | | | | | pushValue (\u1 -> u1)
68 | | | | | minReads=(Right 0)
69 | | | | | mayRaise=[]
70 | | | | | ret
71 | | | | | minReads=(Right 0)
72 | | | | | mayRaise=[]
73 | | | | <default>
74 | | | | | fail fromList []
75 | | | | | minReads=(Left ExceptionFailure)
76 | | | | | mayRaise=[ExceptionFailure]
77 let <hidden>
78 minReads=(Right 0)
79 mayRaise=[]
80 | catch ExceptionFailure
81 | minReads=(Right 0)
82 | mayRaise=[]
83 | | <ok>
84 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
85 | | | minReads=(Right 1)
86 | | | mayRaise=[ExceptionFailure]
87 | | | pushValue cons
88 | | | minReads=(Right 1)
89 | | | mayRaise=[ExceptionFailure]
90 | | | pushValue (\u1 -> (\u2 -> u1))
91 | | | minReads=(Right 1)
92 | | | mayRaise=[ExceptionFailure]
93 | | | join <hidden>
94 | | | minReads=(Right 0)
95 | | | mayRaise=[]
96 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
97 | | | | minReads=(Right 0)
98 | | | | mayRaise=[]
99 | | | | call <hidden>
100 | | | | minReads=(Right 0)
101 | | | | mayRaise=[]
102 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
103 | | | | minReads=(Right 0)
104 | | | | mayRaise=[]
105 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
106 | | | | minReads=(Right 0)
107 | | | | mayRaise=[]
108 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
109 | | | | minReads=(Right 0)
110 | | | | mayRaise=[]
111 | | | | call <hidden>
112 | | | | minReads=(Right 0)
113 | | | | mayRaise=[]
114 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
115 | | | | minReads=(Right 0)
116 | | | | mayRaise=[]
117 | | | | commit ExceptionFailure
118 | | | | minReads=(Right 0)
119 | | | | mayRaise=[]
120 | | | | ret
121 | | | | minReads=(Right 0)
122 | | | | mayRaise=[]
123 | | | pushInput
124 | | | minReads=(Right 1)
125 | | | mayRaise=[ExceptionFailure]
126 | | | read ((\u1 -> (\u2 -> u1)) Term)
127 | | | minReads=(Right 1)
128 | | | mayRaise=[ExceptionFailure]
129 | | | swapValue
130 | | | minReads=(Right 0)
131 | | | mayRaise=[ExceptionFailure]
132 | | | loadInput
133 | | | minReads=(Right 0)
134 | | | mayRaise=[ExceptionFailure]
135 | | | choicesBranch [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
136 | | | minReads=(Right 1)
137 | | | mayRaise=[ExceptionFailure]
138 | | | | <branch>
139 | | | | | pushValue (\u1 -> (\u2 -> u1))
140 | | | | | minReads=(Right 1)
141 | | | | | mayRaise=[ExceptionFailure]
142 | | | | | pushValue Term
143 | | | | | minReads=(Right 1)
144 | | | | | mayRaise=[ExceptionFailure]
145 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
146 | | | | | minReads=(Right 1)
147 | | | | | mayRaise=[ExceptionFailure]
148 | | | | | read ((\u1 -> (\u2 -> u1)) Term)
149 | | | | | minReads=(Right 1)
150 | | | | | mayRaise=[ExceptionFailure]
151 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
152 | | | | | minReads=(Right 0)
153 | | | | | mayRaise=[]
154 | | | | | refJoin <hidden>
155 | | | | | minReads=(Right 0)
156 | | | | | mayRaise=[]
157 | | | | <branch>
158 | | | | | pushValue (\u1 -> (\u2 -> u1))
159 | | | | | minReads=(Right 1)
160 | | | | | mayRaise=[ExceptionFailure]
161 | | | | | pushValue Term
162 | | | | | minReads=(Right 1)
163 | | | | | mayRaise=[ExceptionFailure]
164 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
165 | | | | | minReads=(Right 1)
166 | | | | | mayRaise=[ExceptionFailure]
167 | | | | | read ((\u1 -> (\u2 -> u1)) Term)
168 | | | | | minReads=(Right 1)
169 | | | | | mayRaise=[ExceptionFailure]
170 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
171 | | | | | minReads=(Right 0)
172 | | | | | mayRaise=[]
173 | | | | | refJoin <hidden>
174 | | | | | minReads=(Right 0)
175 | | | | | mayRaise=[]
176 | | | | <branch>
177 | | | | | pushValue (\u1 -> (\u2 -> u1))
178 | | | | | minReads=(Right 1)
179 | | | | | mayRaise=[ExceptionFailure]
180 | | | | | pushValue Term
181 | | | | | minReads=(Right 1)
182 | | | | | mayRaise=[ExceptionFailure]
183 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
184 | | | | | minReads=(Right 1)
185 | | | | | mayRaise=[ExceptionFailure]
186 | | | | | read ((\u1 -> (\u2 -> u1)) Term)
187 | | | | | minReads=(Right 1)
188 | | | | | mayRaise=[ExceptionFailure]
189 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
190 | | | | | minReads=(Right 0)
191 | | | | | mayRaise=[]
192 | | | | | refJoin <hidden>
193 | | | | | minReads=(Right 0)
194 | | | | | mayRaise=[]
195 | | | | <branch>
196 | | | | | pushValue (\u1 -> (\u2 -> u1))
197 | | | | | minReads=(Right 1)
198 | | | | | mayRaise=[ExceptionFailure]
199 | | | | | pushValue Term
200 | | | | | minReads=(Right 1)
201 | | | | | mayRaise=[ExceptionFailure]
202 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
203 | | | | | minReads=(Right 1)
204 | | | | | mayRaise=[ExceptionFailure]
205 | | | | | read ((\u1 -> (\u2 -> u1)) Term)
206 | | | | | minReads=(Right 1)
207 | | | | | mayRaise=[ExceptionFailure]
208 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
209 | | | | | minReads=(Right 0)
210 | | | | | mayRaise=[]
211 | | | | | refJoin <hidden>
212 | | | | | minReads=(Right 0)
213 | | | | | mayRaise=[]
214 | | | | <branch>
215 | | | | | pushValue (\u1 -> (\u2 -> u1))
216 | | | | | minReads=(Right 1)
217 | | | | | mayRaise=[ExceptionFailure]
218 | | | | | pushValue Term
219 | | | | | minReads=(Right 1)
220 | | | | | mayRaise=[ExceptionFailure]
221 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
222 | | | | | minReads=(Right 1)
223 | | | | | mayRaise=[ExceptionFailure]
224 | | | | | read ((\u1 -> (\u2 -> u1)) Term)
225 | | | | | minReads=(Right 1)
226 | | | | | mayRaise=[ExceptionFailure]
227 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
228 | | | | | minReads=(Right 0)
229 | | | | | mayRaise=[]
230 | | | | | refJoin <hidden>
231 | | | | | minReads=(Right 0)
232 | | | | | mayRaise=[]
233 | | | | <branch>
234 | | | | | pushValue (\u1 -> (\u2 -> u1))
235 | | | | | minReads=(Right 1)
236 | | | | | mayRaise=[ExceptionFailure]
237 | | | | | pushValue Term
238 | | | | | minReads=(Right 1)
239 | | | | | mayRaise=[ExceptionFailure]
240 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
241 | | | | | minReads=(Right 1)
242 | | | | | mayRaise=[ExceptionFailure]
243 | | | | | read ((\u1 -> (\u2 -> u1)) Term)
244 | | | | | minReads=(Right 1)
245 | | | | | mayRaise=[ExceptionFailure]
246 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
247 | | | | | minReads=(Right 0)
248 | | | | | mayRaise=[]
249 | | | | | refJoin <hidden>
250 | | | | | minReads=(Right 0)
251 | | | | | mayRaise=[]
252 | | | | <branch>
253 | | | | | pushValue (\u1 -> (\u2 -> u1))
254 | | | | | minReads=(Right 2)
255 | | | | | mayRaise=[ExceptionFailure]
256 | | | | | pushValue (\u1 -> (\u2 -> u1))
257 | | | | | minReads=(Right 2)
258 | | | | | mayRaise=[ExceptionFailure]
259 | | | | | pushValue (\u1 -> u1)
260 | | | | | minReads=(Right 2)
261 | | | | | mayRaise=[ExceptionFailure]
262 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
263 | | | | | minReads=(Right 2)
264 | | | | | mayRaise=[ExceptionFailure]
265 | | | | | pushValue (\u1 -> (\u2 -> u1))
266 | | | | | minReads=(Right 2)
267 | | | | | mayRaise=[ExceptionFailure]
268 | | | | | read ((\u1 -> (\u2 -> u1)) Term)
269 | | | | | minReads=(Right 2)
270 | | | | | mayRaise=[ExceptionFailure]
271 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
272 | | | | | minReads=(Right 1)
273 | | | | | mayRaise=[ExceptionFailure]
274 | | | | | call <hidden>
275 | | | | | minReads=(Right 1)
276 | | | | | mayRaise=[ExceptionFailure]
277 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
278 | | | | | minReads=(Right 1)
279 | | | | | mayRaise=[ExceptionFailure]
280 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
281 | | | | | minReads=(Right 1)
282 | | | | | mayRaise=[ExceptionFailure]
283 | | | | | pushValue Term
284 | | | | | minReads=(Right 1)
285 | | | | | mayRaise=[ExceptionFailure]
286 | | | | | call <hidden>
287 | | | | | minReads=(Right 1)
288 | | | | | mayRaise=[ExceptionFailure]
289 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
290 | | | | | minReads=(Right 1)
291 | | | | | mayRaise=[ExceptionFailure]
292 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
293 | | | | | minReads=(Right 1)
294 | | | | | mayRaise=[ExceptionFailure]
295 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
296 | | | | | minReads=(Right 1)
297 | | | | | mayRaise=[ExceptionFailure]
298 | | | | | pushValue (\u1 -> (\u2 -> u1))
299 | | | | | minReads=(Right 1)
300 | | | | | mayRaise=[ExceptionFailure]
301 | | | | | pushValue ']'
302 | | | | | minReads=(Right 1)
303 | | | | | mayRaise=[ExceptionFailure]
304 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
305 | | | | | minReads=(Right 1)
306 | | | | | mayRaise=[ExceptionFailure]
307 | | | | | read (']' ==)
308 | | | | | minReads=(Right 1)
309 | | | | | mayRaise=[ExceptionFailure]
310 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
311 | | | | | minReads=(Right 0)
312 | | | | | mayRaise=[]
313 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
314 | | | | | minReads=(Right 0)
315 | | | | | mayRaise=[]
316 | | | | | refJoin <hidden>
317 | | | | | minReads=(Right 0)
318 | | | | | mayRaise=[]
319 | | | | <default>
320 | | | | | fail fromList [FailureEmpty]
321 | | | | | minReads=(Left ExceptionFailure)
322 | | | | | mayRaise=[ExceptionFailure]
323 | | <ko>
324 | | | pushInput
325 | | | minReads=(Right 0)
326 | | | mayRaise=[ExceptionFailure]
327 | | | lift2Value Term
328 | | | minReads=(Right 0)
329 | | | mayRaise=[ExceptionFailure]
330 | | | choicesBranch [(\u1 -> u1)]
331 | | | minReads=(Right 0)
332 | | | mayRaise=[ExceptionFailure]
333 | | | | <branch>
334 | | | | | pushValue (\u1 -> u1)
335 | | | | | minReads=(Right 0)
336 | | | | | mayRaise=[]
337 | | | | | ret
338 | | | | | minReads=(Right 0)
339 | | | | | mayRaise=[]
340 | | | | <default>
341 | | | | | fail fromList []
342 | | | | | minReads=(Left ExceptionFailure)
343 | | | | | mayRaise=[ExceptionFailure]
344 let <hidden>
345 minReads=(Right 0)
346 mayRaise=[]
347 | pushValue (\u1 -> (\u2 -> u1))
348 | minReads=(Right 0)
349 | mayRaise=[]
350 | pushValue (\u1 -> u1)
351 | minReads=(Right 0)
352 | mayRaise=[]
353 | lift2Value (\u1 -> (\u2 -> u1 u2))
354 | minReads=(Right 0)
355 | mayRaise=[]
356 | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
357 | minReads=(Right 0)
358 | mayRaise=[]
359 | pushValue Term
360 | minReads=(Right 0)
361 | mayRaise=[]
362 | lift2Value (\u1 -> (\u2 -> u1 u2))
363 | minReads=(Right 0)
364 | mayRaise=[]
365 | call <hidden>
366 | minReads=(Right 0)
367 | mayRaise=[]
368 | lift2Value (\u1 -> (\u2 -> u1 u2))
369 | minReads=(Right 0)
370 | mayRaise=[]
371 | lift2Value (\u1 -> (\u2 -> u1 u2))
372 | minReads=(Right 0)
373 | mayRaise=[]
374 | pushValue Term
375 | minReads=(Right 0)
376 | mayRaise=[]
377 | lift2Value (\u1 -> (\u2 -> u1 u2))
378 | minReads=(Right 0)
379 | mayRaise=[]
380 | ret
381 | minReads=(Right 0)
382 | mayRaise=[]
383 pushValue Term
384 minReads=(Right 0)
385 mayRaise=[]
386 pushValue (\u1 -> (\u2 -> u1))
387 minReads=(Right 0)
388 mayRaise=[]
389 pushValue (\u1 -> u1)
390 minReads=(Right 0)
391 mayRaise=[]
392 lift2Value (\u1 -> (\u2 -> u1 u2))
393 minReads=(Right 0)
394 mayRaise=[]
395 call <hidden>
396 minReads=(Right 0)
397 mayRaise=[]
398 lift2Value (\u1 -> (\u2 -> u1 u2))
399 minReads=(Right 0)
400 mayRaise=[]
401 call <hidden>
402 minReads=(Right 0)
403 mayRaise=[]
404 lift2Value (\u1 -> (\u2 -> u1 u2))
405 minReads=(Right 0)
406 mayRaise=[]
407 lift2Value (\u1 -> (\u2 -> u1 u2))
408 minReads=(Right 0)
409 mayRaise=[]
410 ret
411 minReads=(Right 0)
412 mayRaise=[]