3 mayRaise=[ExceptionFailure]
5 | catch ExceptionFailure
7 | mayRaise=[ExceptionFailure]
10 | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' ((GHC.Types.:) 'd' GHC.Types.[]))))
12 | | | mayRaise=[ExceptionFailure]
14 | | | comment "satisfy"
16 | | | mayRaise=[ExceptionFailure]
18 | | | read ((GHC.Classes.==) 'a')
20 | | | mayRaise=[ExceptionFailure]
22 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
24 | | | mayRaise=[ExceptionFailure]
26 | | | comment "satisfy"
28 | | | mayRaise=[ExceptionFailure]
30 | | | read ((GHC.Classes.==) 'b')
32 | | | mayRaise=[ExceptionFailure]
34 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
36 | | | mayRaise=[ExceptionFailure]
38 | | | comment "satisfy"
40 | | | mayRaise=[ExceptionFailure]
42 | | | read ((GHC.Classes.==) 'c')
44 | | | mayRaise=[ExceptionFailure]
46 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
48 | | | mayRaise=[ExceptionFailure]
50 | | | comment "satisfy"
52 | | | mayRaise=[ExceptionFailure]
54 | | | read ((GHC.Classes.==) 'd')
56 | | | mayRaise=[ExceptionFailure]
58 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
62 | | | commit ExceptionFailure
73 | | | mayRaise=[ExceptionFailure]
77 | | | mayRaise=[ExceptionFailure]
79 pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Show.show ((GHC.Types.:) x_0 x_1))
81 mayRaise=[ExceptionFailure]
85 mayRaise=[ExceptionFailure]
87 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
89 mayRaise=[ExceptionFailure]
91 pushValue (\x_0 -> x_0)
93 mayRaise=[ExceptionFailure]
97 mayRaise=[ExceptionFailure]
101 mayRaise=[ExceptionFailure]
104 | | pushValue (GHC.Types.:)
106 | | mayRaise=[ExceptionFailure]
110 | | mayRaise=[ExceptionFailure]
112 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
116 | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_1 (x_0 x_2))
120 | | lift2Value (\x_0 -> \x_1 -> x_1 x_0)
128 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
132 | | writeRegister reg
143 | | mayRaise=[ExceptionFailure]
145 | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
147 | | _) -> i_0 GHC.Classes.== j_1)
149 | | mayRaise=[ExceptionFailure]
153 | | mayRaise=[ExceptionFailure]
155 | | | <branch (\x_0 -> x_0)>
156 | | | | readRegister reg
158 | | | | mayRaise=[ExceptionFailure]
159 | | | | freeRegs=[reg]
160 | | | | pushValue GHC.Types.[]
162 | | | | mayRaise=[ExceptionFailure]
164 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
166 | | | | mayRaise=[ExceptionFailure]
168 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
170 | | | | mayRaise=[ExceptionFailure]
176 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
178 | | | | | mayRaise=[]
179 | | | | | freeRegs=[]
182 | | | | | mayRaise=[]
183 | | | | | freeRegs=[]
184 | | | | catch ExceptionFailure
186 | | | | mayRaise=[ExceptionFailure]
189 | | | | | | comment "negLook"
190 | | | | | | minReads=0
191 | | | | | | mayRaise=[]
192 | | | | | | freeRegs=[]
193 | | | | | | catch ExceptionFailure
194 | | | | | | minReads=0
195 | | | | | | mayRaise=[]
196 | | | | | | freeRegs=[]
198 | | | | | | | | comment "negLook.ahead"
199 | | | | | | | | minReads=1
200 | | | | | | | | mayRaise=[ExceptionFailure]
201 | | | | | | | | freeRegs=[]
202 | | | | | | | | pushInput
203 | | | | | | | | minReads=1
204 | | | | | | | | mayRaise=[ExceptionFailure]
205 | | | | | | | | freeRegs=[]
206 | | | | | | | | comment "satisfy"
207 | | | | | | | | minReads=1
208 | | | | | | | | mayRaise=[ExceptionFailure]
209 | | | | | | | | freeRegs=[]
210 | | | | | | | | read (\x_0 -> GHC.Types.True)
211 | | | | | | | | minReads=1
212 | | | | | | | | mayRaise=[ExceptionFailure]
213 | | | | | | | | freeRegs=[]
214 | | | | | | | | popValue
215 | | | | | | | | minReads=0
216 | | | | | | | | mayRaise=[ExceptionFailure]
217 | | | | | | | | freeRegs=[]
218 | | | | | | | | commit ExceptionFailure
219 | | | | | | | | minReads=0
220 | | | | | | | | mayRaise=[ExceptionFailure]
221 | | | | | | | | freeRegs=[]
222 | | | | | | | | loadInput
223 | | | | | | | | minReads=0
224 | | | | | | | | mayRaise=[ExceptionFailure]
225 | | | | | | | | freeRegs=[]
226 | | | | | | | | fail []
227 | | | | | | | | minReads=0
228 | | | | | | | | mayRaise=[ExceptionFailure]
229 | | | | | | | | freeRegs=[]
231 | | | | | | | | comment "negLook.reset"
232 | | | | | | | | minReads=0
233 | | | | | | | | mayRaise=[]
234 | | | | | | | | freeRegs=[]
235 | | | | | | | | loadInput
236 | | | | | | | | minReads=0
237 | | | | | | | | mayRaise=[]
238 | | | | | | | | freeRegs=[]
239 | | | | | | | | pushValue GHC.Tuple.()
240 | | | | | | | | minReads=0
241 | | | | | | | | mayRaise=[]
242 | | | | | | | | freeRegs=[]
243 | | | | | | | | commit ExceptionFailure
244 | | | | | | | | minReads=0
245 | | | | | | | | mayRaise=[]
246 | | | | | | | | freeRegs=[]
247 | | | | | | | | refJoin join
248 | | | | | | | | minReads=0
249 | | | | | | | | mayRaise=[]
250 | | | | | | | | freeRegs=[]
252 | | | | | | pushInput
253 | | | | | | minReads=0
254 | | | | | | mayRaise=[ExceptionFailure]
255 | | | | | | freeRegs=[]
256 | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
258 | | | | | | _) -> i_0 GHC.Classes.== j_1)
259 | | | | | | minReads=0
260 | | | | | | mayRaise=[ExceptionFailure]
261 | | | | | | freeRegs=[]
262 | | | | | | choicesBranch
263 | | | | | | minReads=0
264 | | | | | | mayRaise=[ExceptionFailure]
265 | | | | | | freeRegs=[]
266 | | | | | | | <branch (\x_0 -> x_0)>
267 | | | | | | | | comment "eof.fail"
268 | | | | | | | | minReads=0
269 | | | | | | | | mayRaise=[ExceptionFailure]
270 | | | | | | | | freeRegs=[]
271 | | | | | | | | fail [FailureEnd]
272 | | | | | | | | minReads=0
273 | | | | | | | | mayRaise=[ExceptionFailure]
274 | | | | | | | | freeRegs=[]
275 | | | | | | | <default>
276 | | | | | | | | fail []
277 | | | | | | | | minReads=0
278 | | | | | | | | mayRaise=[ExceptionFailure]
279 | | | | | | | | freeRegs=[]
283 | | | | mayRaise=[ExceptionFailure]