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