]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Machine/G5.expected.txt
machine: fix factorize out raiseException
[haskell/symantic-parser.git] / test / Golden / Machine / G5.expected.txt
1 let <hidden>
2 minReads=(Right 0)
3 mayRaise=[]
4 | catch ExceptionFailure
5 | minReads=(Right 0)
6 | mayRaise=[]
7 | | <ok>
8 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
9 | | | minReads=(Right 4)
10 | | | mayRaise=[]
11 | | | pushValue cons
12 | | | minReads=(Right 4)
13 | | | mayRaise=[]
14 | | | call <hidden>
15 | | | minReads=(Right 4)
16 | | | mayRaise=[]
17 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
18 | | | minReads=(Right 0)
19 | | | mayRaise=[]
20 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
21 | | | minReads=(Right 0)
22 | | | mayRaise=[]
23 | | | call <hidden>
24 | | | minReads=(Right 0)
25 | | | mayRaise=[]
26 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
27 | | | minReads=(Right 0)
28 | | | mayRaise=[]
29 | | | commit ExceptionFailure
30 | | | minReads=(Right 0)
31 | | | mayRaise=[]
32 | | | ret
33 | | | minReads=(Right 0)
34 | | | mayRaise=[]
35 | | <ko>
36 | | | pushInput
37 | | | minReads=(Right 0)
38 | | | mayRaise=[ExceptionFailure]
39 | | | lift2Value Term
40 | | | minReads=(Right 0)
41 | | | mayRaise=[ExceptionFailure]
42 | | | choicesBranch [(\u1 -> u1)]
43 | | | minReads=(Right 0)
44 | | | mayRaise=[ExceptionFailure]
45 | | | | <branch>
46 | | | | | pushValue (\u1 -> u1)
47 | | | | | minReads=(Right 0)
48 | | | | | mayRaise=[]
49 | | | | | ret
50 | | | | | minReads=(Right 0)
51 | | | | | mayRaise=[]
52 | | | | <default>
53 | | | | | fail fromList []
54 | | | | | minReads=(Left ExceptionFailure)
55 | | | | | mayRaise=[ExceptionFailure]
56 let <hidden>
57 minReads=(Right 4)
58 mayRaise=[]
59 | catch ExceptionFailure
60 | minReads=(Right 4)
61 | mayRaise=[]
62 | | <ok>
63 | | | pushValue cons
64 | | | minReads=(Right 4)
65 | | | mayRaise=[ExceptionFailure]
66 | | | pushValue (\u1 -> (\u2 -> u1))
67 | | | minReads=(Right 4)
68 | | | mayRaise=[ExceptionFailure]
69 | | | pushValue 'a'
70 | | | minReads=(Right 4)
71 | | | mayRaise=[ExceptionFailure]
72 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
73 | | | minReads=(Right 4)
74 | | | mayRaise=[ExceptionFailure]
75 | | | read ('a' ==)
76 | | | minReads=(Right 4)
77 | | | mayRaise=[ExceptionFailure]
78 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
79 | | | minReads=(Right 3)
80 | | | mayRaise=[ExceptionFailure]
81 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
82 | | | minReads=(Right 3)
83 | | | mayRaise=[ExceptionFailure]
84 | | | pushValue cons
85 | | | minReads=(Right 3)
86 | | | mayRaise=[ExceptionFailure]
87 | | | pushValue (\u1 -> (\u2 -> u1))
88 | | | minReads=(Right 3)
89 | | | mayRaise=[ExceptionFailure]
90 | | | pushValue 'b'
91 | | | minReads=(Right 3)
92 | | | mayRaise=[ExceptionFailure]
93 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
94 | | | minReads=(Right 3)
95 | | | mayRaise=[ExceptionFailure]
96 | | | read ('b' ==)
97 | | | minReads=(Right 3)
98 | | | mayRaise=[ExceptionFailure]
99 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
100 | | | minReads=(Right 2)
101 | | | mayRaise=[ExceptionFailure]
102 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
103 | | | minReads=(Right 2)
104 | | | mayRaise=[ExceptionFailure]
105 | | | pushValue cons
106 | | | minReads=(Right 2)
107 | | | mayRaise=[ExceptionFailure]
108 | | | pushValue (\u1 -> (\u2 -> u1))
109 | | | minReads=(Right 2)
110 | | | mayRaise=[ExceptionFailure]
111 | | | pushValue 'c'
112 | | | minReads=(Right 2)
113 | | | mayRaise=[ExceptionFailure]
114 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
115 | | | minReads=(Right 2)
116 | | | mayRaise=[ExceptionFailure]
117 | | | read ('c' ==)
118 | | | minReads=(Right 2)
119 | | | mayRaise=[ExceptionFailure]
120 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
121 | | | minReads=(Right 1)
122 | | | mayRaise=[ExceptionFailure]
123 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
124 | | | minReads=(Right 1)
125 | | | mayRaise=[ExceptionFailure]
126 | | | pushValue cons
127 | | | minReads=(Right 1)
128 | | | mayRaise=[ExceptionFailure]
129 | | | pushValue (\u1 -> (\u2 -> u1))
130 | | | minReads=(Right 1)
131 | | | mayRaise=[ExceptionFailure]
132 | | | pushValue 'd'
133 | | | minReads=(Right 1)
134 | | | mayRaise=[ExceptionFailure]
135 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
136 | | | minReads=(Right 1)
137 | | | mayRaise=[ExceptionFailure]
138 | | | read ('d' ==)
139 | | | minReads=(Right 1)
140 | | | mayRaise=[ExceptionFailure]
141 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
142 | | | minReads=(Right 0)
143 | | | mayRaise=[]
144 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
145 | | | minReads=(Right 0)
146 | | | mayRaise=[]
147 | | | pushValue Term
148 | | | minReads=(Right 0)
149 | | | mayRaise=[]
150 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
151 | | | minReads=(Right 0)
152 | | | mayRaise=[]
153 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
154 | | | minReads=(Right 0)
155 | | | mayRaise=[]
156 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
157 | | | minReads=(Right 0)
158 | | | mayRaise=[]
159 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
160 | | | minReads=(Right 0)
161 | | | mayRaise=[]
162 | | | commit ExceptionFailure
163 | | | minReads=(Right 0)
164 | | | mayRaise=[]
165 | | | ret
166 | | | minReads=(Right 0)
167 | | | mayRaise=[]
168 | | <ko>
169 | | | loadInput
170 | | | minReads=(Left ExceptionFailure)
171 | | | mayRaise=[ExceptionFailure]
172 | | | fail fromList []
173 | | | minReads=(Left ExceptionFailure)
174 | | | mayRaise=[ExceptionFailure]
175 pushValue Term
176 minReads=(Right 4)
177 mayRaise=[]
178 pushValue (\u1 -> (\u2 -> u1))
179 minReads=(Right 4)
180 mayRaise=[]
181 pushValue cons
182 minReads=(Right 4)
183 mayRaise=[]
184 call <hidden>
185 minReads=(Right 4)
186 mayRaise=[]
187 lift2Value (\u1 -> (\u2 -> u1 u2))
188 minReads=(Right 0)
189 mayRaise=[]
190 call <hidden>
191 minReads=(Right 0)
192 mayRaise=[]
193 pushValue Term
194 minReads=(Right 0)
195 mayRaise=[]
196 lift2Value (\u1 -> (\u2 -> u1 u2))
197 minReads=(Right 0)
198 mayRaise=[]
199 lift2Value (\u1 -> (\u2 -> u1 u2))
200 minReads=(Right 0)
201 mayRaise=[]
202 lift2Value (\u1 -> (\u2 -> u1 u2))
203 minReads=(Right 0)
204 mayRaise=[]
205 join <hidden>
206 minReads=(Right 0)
207 mayRaise=[]
208 | lift2Value (\u1 -> (\u2 -> u1 u2))
209 | minReads=(Right 0)
210 | mayRaise=[]
211 | lift2Value (\u1 -> (\u2 -> u1 u2))
212 | minReads=(Right 0)
213 | mayRaise=[]
214 | ret
215 | minReads=(Right 0)
216 | mayRaise=[]
217 catch ExceptionFailure
218 minReads=(Right 0)
219 mayRaise=[]
220 | <ok>
221 | | catch ExceptionFailure
222 | | minReads=(Right 0)
223 | | mayRaise=[]
224 | | | <ok>
225 | | | | pushInput
226 | | | | minReads=(Left ExceptionFailure)
227 | | | | mayRaise=[ExceptionFailure]
228 | | | | read (\u1 -> Term)
229 | | | | minReads=(Left ExceptionFailure)
230 | | | | mayRaise=[ExceptionFailure]
231 | | | | popValue
232 | | | | minReads=(Left ExceptionFailure)
233 | | | | mayRaise=[ExceptionFailure]
234 | | | | commit ExceptionFailure
235 | | | | minReads=(Left ExceptionFailure)
236 | | | | mayRaise=[ExceptionFailure]
237 | | | | loadInput
238 | | | | minReads=(Left ExceptionFailure)
239 | | | | mayRaise=[ExceptionFailure]
240 | | | | fail fromList []
241 | | | | minReads=(Left ExceptionFailure)
242 | | | | mayRaise=[ExceptionFailure]
243 | | | <ko>
244 | | | | loadInput
245 | | | | minReads=(Right 0)
246 | | | | mayRaise=[]
247 | | | | pushValue Term
248 | | | | minReads=(Right 0)
249 | | | | mayRaise=[]
250 | | | | commit ExceptionFailure
251 | | | | minReads=(Right 0)
252 | | | | mayRaise=[]
253 | | | | refJoin <hidden>
254 | | | | minReads=(Right 0)
255 | | | | mayRaise=[]
256 | <ko>
257 | | pushInput
258 | | minReads=(Left ExceptionFailure)
259 | | mayRaise=[ExceptionFailure]
260 | | lift2Value Term
261 | | minReads=(Left ExceptionFailure)
262 | | mayRaise=[ExceptionFailure]
263 | | choicesBranch [(\u1 -> u1)]
264 | | minReads=(Left ExceptionFailure)
265 | | mayRaise=[ExceptionFailure]
266 | | | <branch>
267 | | | | fail fromList [FailureEnd]
268 | | | | minReads=(Left ExceptionFailure)
269 | | | | mayRaise=[ExceptionFailure]
270 | | | <default>
271 | | | | fail fromList []
272 | | | | minReads=(Left ExceptionFailure)
273 | | | | mayRaise=[ExceptionFailure]