test/Golden/Machine/G14.expected.txt

   1 let name
   2   minReads=0
   3   mayRaise=[ExceptionFailure]
   4   freeRegs=[]
   5 | catch ExceptionFailure
   6 |   minReads=0
   7 |   mayRaise=[ExceptionFailure]
   8 |   freeRegs=[]
   9 | | <ok>
  10 | | | pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
  11 | | |   minReads=0
  12 | | |   mayRaise=[ExceptionFailure]
  13 | | |   freeRegs=[]
  14 | | | call name
  15 | | |   minReads=0
  16 | | |   mayRaise=[ExceptionFailure]
  17 | | |   freeRegs=[]
  18 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  19 | | |   minReads=0
  20 | | |   mayRaise=[ExceptionFailure]
  21 | | |   freeRegs=[]
  22 | | | pushValue (\x_0 -> x_0)
  23 | | |   minReads=0
  24 | | |   mayRaise=[ExceptionFailure]
  25 | | |   freeRegs=[]
  26 | | | newRegister reg
  27 | | |   minReads=0
  28 | | |   mayRaise=[ExceptionFailure]
  29 | | |   freeRegs=[]
  30 | | | iter loop
  31 | | |   minReads=0
  32 | | |   mayRaise=[ExceptionFailure]
  33 | | |   freeRegs=[reg]
  34 | | | | <ok>
  35 | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
  36 | | | | |   minReads=2
  37 | | | | |   mayRaise=[ExceptionFailure]
  38 | | | | |   freeRegs=[reg]
  39 | | | | | call name
  40 | | | | |   minReads=2
  41 | | | | |   mayRaise=[ExceptionFailure]
  42 | | | | |   freeRegs=[reg]
  43 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  44 | | | | |   minReads=2
  45 | | | | |   mayRaise=[ExceptionFailure]
  46 | | | | |   freeRegs=[reg]
  47 | | | | | call name
  48 | | | | |   minReads=2
  49 | | | | |   mayRaise=[ExceptionFailure]
  50 | | | | |   freeRegs=[reg]
  51 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  52 | | | | |   minReads=0
  53 | | | | |   mayRaise=[ExceptionFailure]
  54 | | | | |   freeRegs=[reg]
  55 | | | | | call name
  56 | | | | |   minReads=0
  57 | | | | |   mayRaise=[ExceptionFailure]
  58 | | | | |   freeRegs=[reg]
  59 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  60 | | | | |   minReads=0
  61 | | | | |   mayRaise=[]
  62 | | | | |   freeRegs=[reg]
  63 | | | | | readRegister reg
  64 | | | | |   minReads=0
  65 | | | | |   mayRaise=[]
  66 | | | | |   freeRegs=[reg]
  67 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  68 | | | | |   minReads=0
  69 | | | | |   mayRaise=[]
  70 | | | | |   freeRegs=[reg]
  71 | | | | | writeRegister reg
  72 | | | | |   minReads=0
  73 | | | | |   mayRaise=[]
  74 | | | | |   freeRegs=[reg]
  75 | | | | | jump loop
  76 | | | | |   minReads=0
  77 | | | | |   mayRaise=[]
  78 | | | | |   freeRegs=[]
  79 | | | | <ko>
  80 | | | | | pushInput
  81 | | | | |   minReads=0
  82 | | | | |   mayRaise=[ExceptionFailure]
  83 | | | | |   freeRegs=[reg]
  84 | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
  85 | | | | |                                                                j_1
  86 | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
  87 | | | | |   minReads=0
  88 | | | | |   mayRaise=[ExceptionFailure]
  89 | | | | |   freeRegs=[reg]
  90 | | | | | choicesBranch
  91 | | | | |   minReads=0
  92 | | | | |   mayRaise=[ExceptionFailure]
  93 | | | | |   freeRegs=[reg]
  94 | | | | | | <branch (\x_0 -> x_0)>
  95 | | | | | | | readRegister reg
  96 | | | | | | |   minReads=0
  97 | | | | | | |   mayRaise=[]
  98 | | | | | | |   freeRegs=[reg]
  99 | | | | | | | call name
 100 | | | | | | |   minReads=0
 101 | | | | | | |   mayRaise=[]
 102 | | | | | | |   freeRegs=[]
 103 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 104 | | | | | | |   minReads=0
 105 | | | | | | |   mayRaise=[]
 106 | | | | | | |   freeRegs=[]
 107 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 108 | | | | | | |   minReads=0
 109 | | | | | | |   mayRaise=[]
 110 | | | | | | |   freeRegs=[]
 111 | | | | | | | call name
 112 | | | | | | |   minReads=0
 113 | | | | | | |   mayRaise=[]
 114 | | | | | | |   freeRegs=[]
 115 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 116 | | | | | | |   minReads=0
 117 | | | | | | |   mayRaise=[]
 118 | | | | | | |   freeRegs=[]
 119 | | | | | | | commit ExceptionFailure
 120 | | | | | | |   minReads=0
 121 | | | | | | |   mayRaise=[]
 122 | | | | | | |   freeRegs=[]
 123 | | | | | | | ret
 124 | | | | | | |   minReads=0
 125 | | | | | | |   mayRaise=[]
 126 | | | | | | |   freeRegs=[]
 127 | | | | | | <default>
 128 | | | | | | | fail []
 129 | | | | | | |   minReads=0
 130 | | | | | | |   mayRaise=[ExceptionFailure]
 131 | | | | | | |   freeRegs=[]
 132 | | <ko>
 133 | | | pushInput
 134 | | |   minReads=0
 135 | | |   mayRaise=[ExceptionFailure]
 136 | | |   freeRegs=[]
 137 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 138 | | |                                                                j_1
 139 | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 140 | | |   minReads=0
 141 | | |   mayRaise=[ExceptionFailure]
 142 | | |   freeRegs=[]
 143 | | | choicesBranch
 144 | | |   minReads=0
 145 | | |   mayRaise=[ExceptionFailure]
 146 | | |   freeRegs=[]
 147 | | | | <branch (\x_0 -> x_0)>
 148 | | | | | jump name
 149 | | | | |   minReads=0
 150 | | | | |   mayRaise=[]
 151 | | | | |   freeRegs=[]
 152 | | | | <default>
 153 | | | | | fail []
 154 | | | | |   minReads=0
 155 | | | | |   mayRaise=[ExceptionFailure]
 156 | | | | |   freeRegs=[]
 157 let name
 158   minReads=0
 159   mayRaise=[ExceptionFailure]
 160   freeRegs=[]
 161 | catch ExceptionFailure
 162 |   minReads=0
 163 |   mayRaise=[ExceptionFailure]
 164 |   freeRegs=[]
 165 | | <ok>
 166 | | | pushValue (\x_0 -> \x_1 -> x_1)
 167 | | |   minReads=0
 168 | | |   mayRaise=[ExceptionFailure]
 169 | | |   freeRegs=[]
 170 | | | join join
 171 | | |   minReads=1
 172 | | |   mayRaise=[ExceptionFailure]
 173 | | |   freeRegs=[]
 174 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 175 | | | |   minReads=1
 176 | | | |   mayRaise=[ExceptionFailure]
 177 | | | |   freeRegs=[]
 178 | | | | call name
 179 | | | |   minReads=1
 180 | | | |   mayRaise=[ExceptionFailure]
 181 | | | |   freeRegs=[]
 182 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 183 | | | |   minReads=0
 184 | | | |   mayRaise=[]
 185 | | | |   freeRegs=[]
 186 | | | | commit ExceptionFailure
 187 | | | |   minReads=0
 188 | | | |   mayRaise=[]
 189 | | | |   freeRegs=[]
 190 | | | | ret
 191 | | | |   minReads=0
 192 | | | |   mayRaise=[]
 193 | | | |   freeRegs=[]
 194 | | | catch ExceptionFailure
 195 | | |   minReads=0
 196 | | |   mayRaise=[ExceptionFailure]
 197 | | |   freeRegs=[]
 198 | | | | <ok>
 199 | | | | | pushValue (\x_0 -> '0')
 200 | | | | |   minReads=2
 201 | | | | |   mayRaise=[ExceptionFailure]
 202 | | | | |   freeRegs=[]
 203 | | | | | comment "satisfy"
 204 | | | | |   minReads=2
 205 | | | | |   mayRaise=[ExceptionFailure]
 206 | | | | |   freeRegs=[]
 207 | | | | | read ((GHC.Classes.==) '0')
 208 | | | | |   minReads=2
 209 | | | | |   mayRaise=[ExceptionFailure]
 210 | | | | |   freeRegs=[]
 211 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 212 | | | | |   minReads=1
 213 | | | | |   mayRaise=[ExceptionFailure]
 214 | | | | |   freeRegs=[]
 215 | | | | | commit ExceptionFailure
 216 | | | | |   minReads=1
 217 | | | | |   mayRaise=[ExceptionFailure]
 218 | | | | |   freeRegs=[]
 219 | | | | | refJoin join
 220 | | | | |   minReads=1
 221 | | | | |   mayRaise=[ExceptionFailure]
 222 | | | | |   freeRegs=[]
 223 | | | | <ko>
 224 | | | | | pushInput
 225 | | | | |   minReads=0
 226 | | | | |   mayRaise=[ExceptionFailure]
 227 | | | | |   freeRegs=[]
 228 | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 229 | | | | |                                                                j_1
 230 | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 231 | | | | |   minReads=0
 232 | | | | |   mayRaise=[ExceptionFailure]
 233 | | | | |   freeRegs=[]
 234 | | | | | choicesBranch
 235 | | | | |   minReads=0
 236 | | | | |   mayRaise=[ExceptionFailure]
 237 | | | | |   freeRegs=[]
 238 | | | | | | <branch (\x_0 -> x_0)>
 239 | | | | | | | pushValue (\x_0 -> '1')
 240 | | | | | | |   minReads=2
 241 | | | | | | |   mayRaise=[ExceptionFailure]
 242 | | | | | | |   freeRegs=[]
 243 | | | | | | | comment "satisfy"
 244 | | | | | | |   minReads=2
 245 | | | | | | |   mayRaise=[ExceptionFailure]
 246 | | | | | | |   freeRegs=[]
 247 | | | | | | | read ((GHC.Classes.==) '1')
 248 | | | | | | |   minReads=2
 249 | | | | | | |   mayRaise=[ExceptionFailure]
 250 | | | | | | |   freeRegs=[]
 251 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 252 | | | | | | |   minReads=1
 253 | | | | | | |   mayRaise=[ExceptionFailure]
 254 | | | | | | |   freeRegs=[]
 255 | | | | | | | refJoin join
 256 | | | | | | |   minReads=1
 257 | | | | | | |   mayRaise=[ExceptionFailure]
 258 | | | | | | |   freeRegs=[]
 259 | | | | | | <default>
 260 | | | | | | | fail []
 261 | | | | | | |   minReads=0
 262 | | | | | | |   mayRaise=[ExceptionFailure]
 263 | | | | | | |   freeRegs=[]
 264 | | <ko>
 265 | | | pushInput
 266 | | |   minReads=0
 267 | | |   mayRaise=[ExceptionFailure]
 268 | | |   freeRegs=[]
 269 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 270 | | |                                                                j_1
 271 | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 272 | | |   minReads=0
 273 | | |   mayRaise=[ExceptionFailure]
 274 | | |   freeRegs=[]
 275 | | | choicesBranch
 276 | | |   minReads=0
 277 | | |   mayRaise=[ExceptionFailure]
 278 | | |   freeRegs=[]
 279 | | | | <branch (\x_0 -> x_0)>
 280 | | | | | catch ExceptionFailure
 281 | | | | |   minReads=0
 282 | | | | |   mayRaise=[ExceptionFailure]
 283 | | | | |   freeRegs=[]
 284 | | | | | | <ok>
 285 | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1)
 286 | | | | | | |   minReads=1
 287 | | | | | | |   mayRaise=[ExceptionFailure]
 288 | | | | | | |   freeRegs=[]
 289 | | | | | | | comment "satisfy"
 290 | | | | | | |   minReads=1
 291 | | | | | | |   mayRaise=[ExceptionFailure]
 292 | | | | | | |   freeRegs=[]
 293 | | | | | | | read ((GHC.Classes.==) '\'')
 294 | | | | | | |   minReads=1
 295 | | | | | | |   mayRaise=[ExceptionFailure]
 296 | | | | | | |   freeRegs=[]
 297 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 298 | | | | | | |   minReads=0
 299 | | | | | | |   mayRaise=[ExceptionFailure]
 300 | | | | | | |   freeRegs=[]
 301 | | | | | | | join join
 302 | | | | | | |   minReads=2
 303 | | | | | | |   mayRaise=[ExceptionFailure]
 304 | | | | | | |   freeRegs=[]
 305 | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 306 | | | | | | | |   minReads=2
 307 | | | | | | | |   mayRaise=[ExceptionFailure]
 308 | | | | | | | |   freeRegs=[]
 309 | | | | | | | | comment "satisfy"
 310 | | | | | | | |   minReads=2
 311 | | | | | | | |   mayRaise=[ExceptionFailure]
 312 | | | | | | | |   freeRegs=[]
 313 | | | | | | | | read ((GHC.Classes.==) '\'')
 314 | | | | | | | |   minReads=2
 315 | | | | | | | |   mayRaise=[ExceptionFailure]
 316 | | | | | | | |   freeRegs=[]
 317 | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 318 | | | | | | | |   minReads=1
 319 | | | | | | | |   mayRaise=[ExceptionFailure]
 320 | | | | | | | |   freeRegs=[]
 321 | | | | | | | | call name
 322 | | | | | | | |   minReads=1
 323 | | | | | | | |   mayRaise=[ExceptionFailure]
 324 | | | | | | | |   freeRegs=[]
 325 | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 326 | | | | | | | |   minReads=0
 327 | | | | | | | |   mayRaise=[]
 328 | | | | | | | |   freeRegs=[]
 329 | | | | | | | | commit ExceptionFailure
 330 | | | | | | | |   minReads=0
 331 | | | | | | | |   mayRaise=[]
 332 | | | | | | | |   freeRegs=[]
 333 | | | | | | | | ret
 334 | | | | | | | |   minReads=0
 335 | | | | | | | |   mayRaise=[]
 336 | | | | | | | |   freeRegs=[]
 337 | | | | | | | catch ExceptionFailure
 338 | | | | | | |   minReads=0
 339 | | | | | | |   mayRaise=[ExceptionFailure]
 340 | | | | | | |   freeRegs=[]
 341 | | | | | | | | <ok>
 342 | | | | | | | | | pushValue (\x_0 -> \x_1 -> x_1)
 343 | | | | | | | | |   minReads=3
 344 | | | | | | | | |   mayRaise=[ExceptionFailure]
 345 | | | | | | | | |   freeRegs=[]
 346 | | | | | | | | | comment "satisfy"
 347 | | | | | | | | |   minReads=3
 348 | | | | | | | | |   mayRaise=[ExceptionFailure]
 349 | | | | | | | | |   freeRegs=[]
 350 | | | | | | | | | read Parsers.Nandlang.nandStringLetter
 351 | | | | | | | | |   minReads=3
 352 | | | | | | | | |   mayRaise=[ExceptionFailure]
 353 | | | | | | | | |   freeRegs=[]
 354 | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 355 | | | | | | | | |   minReads=2
 356 | | | | | | | | |   mayRaise=[ExceptionFailure]
 357 | | | | | | | | |   freeRegs=[]
 358 | | | | | | | | | call name
 359 | | | | | | | | |   minReads=2
 360 | | | | | | | | |   mayRaise=[ExceptionFailure]
 361 | | | | | | | | |   freeRegs=[]
 362 | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 363 | | | | | | | | |   minReads=2
 364 | | | | | | | | |   mayRaise=[ExceptionFailure]
 365 | | | | | | | | |   freeRegs=[]
 366 | | | | | | | | | commit ExceptionFailure
 367 | | | | | | | | |   minReads=2
 368 | | | | | | | | |   mayRaise=[ExceptionFailure]
 369 | | | | | | | | |   freeRegs=[]
 370 | | | | | | | | | refJoin join
 371 | | | | | | | | |   minReads=2
 372 | | | | | | | | |   mayRaise=[ExceptionFailure]
 373 | | | | | | | | |   freeRegs=[]
 374 | | | | | | | | <ko>
 375 | | | | | | | | | pushInput
 376 | | | | | | | | |   minReads=0
 377 | | | | | | | | |   mayRaise=[ExceptionFailure]
 378 | | | | | | | | |   freeRegs=[]
 379 | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 380 | | | | | | | | |                                                                j_1
 381 | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 382 | | | | | | | | |   minReads=0
 383 | | | | | | | | |   mayRaise=[ExceptionFailure]
 384 | | | | | | | | |   freeRegs=[]
 385 | | | | | | | | | choicesBranch
 386 | | | | | | | | |   minReads=0
 387 | | | | | | | | |   mayRaise=[ExceptionFailure]
 388 | | | | | | | | |   freeRegs=[]
 389 | | | | | | | | | | <branch (\x_0 -> x_0)>
 390 | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_2)
 391 | | | | | | | | | | |   minReads=4
 392 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 393 | | | | | | | | | | |   freeRegs=[]
 394 | | | | | | | | | | | comment "satisfy"
 395 | | | | | | | | | | |   minReads=4
 396 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 397 | | | | | | | | | | |   freeRegs=[]
 398 | | | | | | | | | | | read ((GHC.Classes.==) '\\')
 399 | | | | | | | | | | |   minReads=4
 400 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 401 | | | | | | | | | | |   freeRegs=[]
 402 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 403 | | | | | | | | | | |   minReads=3
 404 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 405 | | | | | | | | | | |   freeRegs=[]
 406 | | | | | | | | | | | comment "satisfy"
 407 | | | | | | | | | | |   minReads=3
 408 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 409 | | | | | | | | | | |   freeRegs=[]
 410 | | | | | | | | | | | read (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))
 411 | | | | | | | | | | |   minReads=3
 412 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 413 | | | | | | | | | | |   freeRegs=[]
 414 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 415 | | | | | | | | | | |   minReads=2
 416 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 417 | | | | | | | | | | |   freeRegs=[]
 418 | | | | | | | | | | | call name
 419 | | | | | | | | | | |   minReads=2
 420 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 421 | | | | | | | | | | |   freeRegs=[]
 422 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 423 | | | | | | | | | | |   minReads=2
 424 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 425 | | | | | | | | | | |   freeRegs=[]
 426 | | | | | | | | | | | refJoin join
 427 | | | | | | | | | | |   minReads=2
 428 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 429 | | | | | | | | | | |   freeRegs=[]
 430 | | | | | | | | | | <default>
 431 | | | | | | | | | | | fail []
 432 | | | | | | | | | | |   minReads=0
 433 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 434 | | | | | | | | | | |   freeRegs=[]
 435 | | | | | | <ko>
 436 | | | | | | | pushInput
 437 | | | | | | |   minReads=0
 438 | | | | | | |   mayRaise=[ExceptionFailure]
 439 | | | | | | |   freeRegs=[]
 440 | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 441 | | | | | | |                                                                j_1
 442 | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 443 | | | | | | |   minReads=0
 444 | | | | | | |   mayRaise=[ExceptionFailure]
 445 | | | | | | |   freeRegs=[]
 446 | | | | | | | choicesBranch
 447 | | | | | | |   minReads=0
 448 | | | | | | |   mayRaise=[ExceptionFailure]
 449 | | | | | | |   freeRegs=[]
 450 | | | | | | | | <branch (\x_0 -> x_0)>
 451 | | | | | | | | | pushValue (\x_0 -> \x_1 -> x_1)
 452 | | | | | | | | |   minReads=0
 453 | | | | | | | | |   mayRaise=[ExceptionFailure]
 454 | | | | | | | | |   freeRegs=[]
 455 | | | | | | | | | call name
 456 | | | | | | | | |   minReads=0
 457 | | | | | | | | |   mayRaise=[ExceptionFailure]
 458 | | | | | | | | |   freeRegs=[]
 459 | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 460 | | | | | | | | |   minReads=0
 461 | | | | | | | | |   mayRaise=[ExceptionFailure]
 462 | | | | | | | | |   freeRegs=[]
 463 | | | | | | | | | join join
 464 | | | | | | | | |   minReads=0
 465 | | | | | | | | |   mayRaise=[]
 466 | | | | | | | | |   freeRegs=[]
 467 | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 468 | | | | | | | | | |   minReads=0
 469 | | | | | | | | | |   mayRaise=[]
 470 | | | | | | | | | |   freeRegs=[]
 471 | | | | | | | | | | ret
 472 | | | | | | | | | |   minReads=0
 473 | | | | | | | | | |   mayRaise=[]
 474 | | | | | | | | | |   freeRegs=[]
 475 | | | | | | | | | catch ExceptionFailure
 476 | | | | | | | | |   minReads=0
 477 | | | | | | | | |   mayRaise=[ExceptionFailure]
 478 | | | | | | | | |   freeRegs=[]
 479 | | | | | | | | | | <ok>
 480 | | | | | | | | | | | pushValue (\x_0 -> GHC.Tuple.())
 481 | | | | | | | | | | |   minReads=0
 482 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 483 | | | | | | | | | | |   freeRegs=[]
 484 | | | | | | | | | | | join join
 485 | | | | | | | | | | |   minReads=0
 486 | | | | | | | | | | |   mayRaise=[]
 487 | | | | | | | | | | |   freeRegs=[]
 488 | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 489 | | | | | | | | | | | |   minReads=0
 490 | | | | | | | | | | | |   mayRaise=[]
 491 | | | | | | | | | | | |   freeRegs=[]
 492 | | | | | | | | | | | | commit ExceptionFailure
 493 | | | | | | | | | | | |   minReads=0
 494 | | | | | | | | | | | |   mayRaise=[]
 495 | | | | | | | | | | | |   freeRegs=[]
 496 | | | | | | | | | | | | refJoin join
 497 | | | | | | | | | | | |   minReads=0
 498 | | | | | | | | | | | |   mayRaise=[]
 499 | | | | | | | | | | | |   freeRegs=[]
 500 | | | | | | | | | | | catch ExceptionFailure
 501 | | | | | | | | | | |   minReads=0
 502 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 503 | | | | | | | | | | |   freeRegs=[]
 504 | | | | | | | | | | | | <ok>
 505 | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_1)
 506 | | | | | | | | | | | | |   minReads=2
 507 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 508 | | | | | | | | | | | | |   freeRegs=[]
 509 | | | | | | | | | | | | | call name
 510 | | | | | | | | | | | | |   minReads=2
 511 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 512 | | | | | | | | | | | | |   freeRegs=[]
 513 | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 514 | | | | | | | | | | | | |   minReads=0
 515 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 516 | | | | | | | | | | | | |   freeRegs=[]
 517 | | | | | | | | | | | | | join join
 518 | | | | | | | | | | | | |   minReads=2
 519 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 520 | | | | | | | | | | | | |   freeRegs=[]
 521 | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 522 | | | | | | | | | | | | | |   minReads=2
 523 | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 524 | | | | | | | | | | | | | |   freeRegs=[]
 525 | | | | | | | | | | | | | | call name
 526 | | | | | | | | | | | | | |   minReads=2
 527 | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 528 | | | | | | | | | | | | | |   freeRegs=[]
 529 | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 530 | | | | | | | | | | | | | |   minReads=0
 531 | | | | | | | | | | | | | |   mayRaise=[]
 532 | | | | | | | | | | | | | |   freeRegs=[]
 533 | | | | | | | | | | | | | | commit ExceptionFailure
 534 | | | | | | | | | | | | | |   minReads=0
 535 | | | | | | | | | | | | | |   mayRaise=[]
 536 | | | | | | | | | | | | | |   freeRegs=[]
 537 | | | | | | | | | | | | | | refJoin join
 538 | | | | | | | | | | | | | |   minReads=0
 539 | | | | | | | | | | | | | |   mayRaise=[]
 540 | | | | | | | | | | | | | |   freeRegs=[]
 541 | | | | | | | | | | | | | catch ExceptionFailure
 542 | | | | | | | | | | | | |   minReads=0
 543 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 544 | | | | | | | | | | | | |   freeRegs=[]
 545 | | | | | | | | | | | | | | <ok>
 546 | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
 547 | | | | | | | | | | | | | | |   minReads=0
 548 | | | | | | | | | | | | | | |   mayRaise=[]
 549 | | | | | | | | | | | | | | |   freeRegs=[]
 550 | | | | | | | | | | | | | | | call name
 551 | | | | | | | | | | | | | | |   minReads=0
 552 | | | | | | | | | | | | | | |   mayRaise=[]
 553 | | | | | | | | | | | | | | |   freeRegs=[]
 554 | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 555 | | | | | | | | | | | | | | |   minReads=0
 556 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 557 | | | | | | | | | | | | | | |   freeRegs=[]
 558 | | | | | | | | | | | | | | | pushValue (\x_0 -> x_0)
 559 | | | | | | | | | | | | | | |   minReads=0
 560 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 561 | | | | | | | | | | | | | | |   freeRegs=[]
 562 | | | | | | | | | | | | | | | newRegister reg
 563 | | | | | | | | | | | | | | |   minReads=0
 564 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 565 | | | | | | | | | | | | | | |   freeRegs=[]
 566 | | | | | | | | | | | | | | | iter loop
 567 | | | | | | | | | | | | | | |   minReads=0
 568 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 569 | | | | | | | | | | | | | | |   freeRegs=[reg]
 570 | | | | | | | | | | | | | | | | <ok>
 571 | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
 572 | | | | | | | | | | | | | | | | |   minReads=2
 573 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 574 | | | | | | | | | | | | | | | | |   freeRegs=[]
 575 | | | | | | | | | | | | | | | | | call name
 576 | | | | | | | | | | | | | | | | |   minReads=2
 577 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 578 | | | | | | | | | | | | | | | | |   freeRegs=[]
 579 | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 580 | | | | | | | | | | | | | | | | |   minReads=2
 581 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 582 | | | | | | | | | | | | | | | | |   freeRegs=[]
 583 | | | | | | | | | | | | | | | | | call name
 584 | | | | | | | | | | | | | | | | |   minReads=2
 585 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 586 | | | | | | | | | | | | | | | | |   freeRegs=[]
 587 | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 588 | | | | | | | | | | | | | | | | |   minReads=0
 589 | | | | | | | | | | | | | | | | |   mayRaise=[]
 590 | | | | | | | | | | | | | | | | |   freeRegs=[]
 591 | | | | | | | | | | | | | | | | | call name
 592 | | | | | | | | | | | | | | | | |   minReads=0
 593 | | | | | | | | | | | | | | | | |   mayRaise=[]
 594 | | | | | | | | | | | | | | | | |   freeRegs=[]
 595 | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 596 | | | | | | | | | | | | | | | | |   minReads=0
 597 | | | | | | | | | | | | | | | | |   mayRaise=[]
 598 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
 599 | | | | | | | | | | | | | | | | | readRegister reg
 600 | | | | | | | | | | | | | | | | |   minReads=0
 601 | | | | | | | | | | | | | | | | |   mayRaise=[]
 602 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
 603 | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 604 | | | | | | | | | | | | | | | | |   minReads=0
 605 | | | | | | | | | | | | | | | | |   mayRaise=[]
 606 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
 607 | | | | | | | | | | | | | | | | | writeRegister reg
 608 | | | | | | | | | | | | | | | | |   minReads=0
 609 | | | | | | | | | | | | | | | | |   mayRaise=[]
 610 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
 611 | | | | | | | | | | | | | | | | | jump loop
 612 | | | | | | | | | | | | | | | | |   minReads=0
 613 | | | | | | | | | | | | | | | | |   mayRaise=[]
 614 | | | | | | | | | | | | | | | | |   freeRegs=[]
 615 | | | | | | | | | | | | | | | | <ko>
 616 | | | | | | | | | | | | | | | | | pushInput
 617 | | | | | | | | | | | | | | | | |   minReads=0
 618 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 619 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
 620 | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 621 | | | | | | | | | | | | | | | | |                                                                j_1
 622 | | | | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 623 | | | | | | | | | | | | | | | | |   minReads=0
 624 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 625 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
 626 | | | | | | | | | | | | | | | | | choicesBranch
 627 | | | | | | | | | | | | | | | | |   minReads=0
 628 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 629 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
 630 | | | | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
 631 | | | | | | | | | | | | | | | | | | | readRegister reg
 632 | | | | | | | | | | | | | | | | | | |   minReads=2
 633 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 634 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
 635 | | | | | | | | | | | | | | | | | | | call name
 636 | | | | | | | | | | | | | | | | | | |   minReads=2
 637 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 638 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
 639 | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 640 | | | | | | | | | | | | | | | | | | |   minReads=2
 641 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 642 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
 643 | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 644 | | | | | | | | | | | | | | | | | | |   minReads=2
 645 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 646 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
 647 | | | | | | | | | | | | | | | | | | | call name
 648 | | | | | | | | | | | | | | | | | | |   minReads=2
 649 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 650 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
 651 | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 652 | | | | | | | | | | | | | | | | | | |   minReads=2
 653 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 654 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
 655 | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
 656 | | | | | | | | | | | | | | | | | | |   minReads=2
 657 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 658 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
 659 | | | | | | | | | | | | | | | | | | | refJoin join
 660 | | | | | | | | | | | | | | | | | | |   minReads=2
 661 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 662 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
 663 | | | | | | | | | | | | | | | | | | <default>
 664 | | | | | | | | | | | | | | | | | | | fail []
 665 | | | | | | | | | | | | | | | | | | |   minReads=0
 666 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 667 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
 668 | | | | | | | | | | | | | | <ko>
 669 | | | | | | | | | | | | | | | pushInput
 670 | | | | | | | | | | | | | | |   minReads=0
 671 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 672 | | | | | | | | | | | | | | |   freeRegs=[]
 673 | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 674 | | | | | | | | | | | | | | |                                                                j_1
 675 | | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 676 | | | | | | | | | | | | | | |   minReads=0
 677 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 678 | | | | | | | | | | | | | | |   freeRegs=[]
 679 | | | | | | | | | | | | | | | choicesBranch
 680 | | | | | | | | | | | | | | |   minReads=0
 681 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 682 | | | | | | | | | | | | | | |   freeRegs=[]
 683 | | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
 684 | | | | | | | | | | | | | | | | | call name
 685 | | | | | | | | | | | | | | | | |   minReads=2
 686 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 687 | | | | | | | | | | | | | | | | |   freeRegs=[]
 688 | | | | | | | | | | | | | | | | | refJoin join
 689 | | | | | | | | | | | | | | | | |   minReads=2
 690 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 691 | | | | | | | | | | | | | | | | |   freeRegs=[]
 692 | | | | | | | | | | | | | | | | <default>
 693 | | | | | | | | | | | | | | | | | fail []
 694 | | | | | | | | | | | | | | | | |   minReads=0
 695 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 696 | | | | | | | | | | | | | | | | |   freeRegs=[]
 697 | | | | | | | | | | | | <ko>
 698 | | | | | | | | | | | | | pushInput
 699 | | | | | | | | | | | | |   minReads=0
 700 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 701 | | | | | | | | | | | | |   freeRegs=[]
 702 | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 703 | | | | | | | | | | | | |                                                                j_1
 704 | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 705 | | | | | | | | | | | | |   minReads=0
 706 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 707 | | | | | | | | | | | | |   freeRegs=[]
 708 | | | | | | | | | | | | | choicesBranch
 709 | | | | | | | | | | | | |   minReads=0
 710 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 711 | | | | | | | | | | | | |   freeRegs=[]
 712 | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
 713 | | | | | | | | | | | | | | | call name
 714 | | | | | | | | | | | | | | |   minReads=3
 715 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 716 | | | | | | | | | | | | | | |   freeRegs=[]
 717 | | | | | | | | | | | | | | | refJoin join
 718 | | | | | | | | | | | | | | |   minReads=0
 719 | | | | | | | | | | | | | | |   mayRaise=[]
 720 | | | | | | | | | | | | | | |   freeRegs=[]
 721 | | | | | | | | | | | | | | <default>
 722 | | | | | | | | | | | | | | | fail []
 723 | | | | | | | | | | | | | | |   minReads=0
 724 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 725 | | | | | | | | | | | | | | |   freeRegs=[]
 726 | | | | | | | | | | <ko>
 727 | | | | | | | | | | | pushInput
 728 | | | | | | | | | | |   minReads=0
 729 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 730 | | | | | | | | | | |   freeRegs=[]
 731 | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 732 | | | | | | | | | | |                                                                j_1
 733 | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 734 | | | | | | | | | | |   minReads=0
 735 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 736 | | | | | | | | | | |   freeRegs=[]
 737 | | | | | | | | | | | choicesBranch
 738 | | | | | | | | | | |   minReads=0
 739 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 740 | | | | | | | | | | |   freeRegs=[]
 741 | | | | | | | | | | | | <branch (\x_0 -> x_0)>
 742 | | | | | | | | | | | | | call name
 743 | | | | | | | | | | | | |   minReads=0
 744 | | | | | | | | | | | | |   mayRaise=[]
 745 | | | | | | | | | | | | |   freeRegs=[]
 746 | | | | | | | | | | | | | refJoin join
 747 | | | | | | | | | | | | |   minReads=0
 748 | | | | | | | | | | | | |   mayRaise=[]
 749 | | | | | | | | | | | | |   freeRegs=[]
 750 | | | | | | | | | | | | <default>
 751 | | | | | | | | | | | | | fail []
 752 | | | | | | | | | | | | |   minReads=0
 753 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 754 | | | | | | | | | | | | |   freeRegs=[]
 755 | | | | | | | | <default>
 756 | | | | | | | | | fail []
 757 | | | | | | | | |   minReads=0
 758 | | | | | | | | |   mayRaise=[ExceptionFailure]
 759 | | | | | | | | |   freeRegs=[]
 760 | | | | <default>
 761 | | | | | fail []
 762 | | | | |   minReads=0
 763 | | | | |   mayRaise=[ExceptionFailure]
 764 | | | | |   freeRegs=[]
 765 let name
 766   minReads=0
 767   mayRaise=[ExceptionFailure]
 768   freeRegs=[]
 769 | pushValue (\x_0 -> \x_1 -> \x_2 -> x_2)
 770 |   minReads=0
 771 |   mayRaise=[ExceptionFailure]
 772 |   freeRegs=[]
 773 | call name
 774 |   minReads=0
 775 |   mayRaise=[ExceptionFailure]
 776 |   freeRegs=[]
 777 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 778 |   minReads=0
 779 |   mayRaise=[ExceptionFailure]
 780 |   freeRegs=[]
 781 | pushValue (\x_0 -> x_0)
 782 |   minReads=0
 783 |   mayRaise=[ExceptionFailure]
 784 |   freeRegs=[]
 785 | newRegister reg
 786 |   minReads=0
 787 |   mayRaise=[ExceptionFailure]
 788 |   freeRegs=[]
 789 | iter loop
 790 |   minReads=0
 791 |   mayRaise=[ExceptionFailure]
 792 |   freeRegs=[reg]
 793 | | <ok>
 794 | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
 795 | | |   minReads=2
 796 | | |   mayRaise=[ExceptionFailure]
 797 | | |   freeRegs=[reg]
 798 | | | comment "satisfy"
 799 | | |   minReads=2
 800 | | |   mayRaise=[ExceptionFailure]
 801 | | |   freeRegs=[reg]
 802 | | | read ((GHC.Classes.==) '!')
 803 | | |   minReads=2
 804 | | |   mayRaise=[ExceptionFailure]
 805 | | |   freeRegs=[reg]
 806 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 807 | | |   minReads=1
 808 | | |   mayRaise=[ExceptionFailure]
 809 | | |   freeRegs=[reg]
 810 | | | call name
 811 | | |   minReads=1
 812 | | |   mayRaise=[ExceptionFailure]
 813 | | |   freeRegs=[reg]
 814 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 815 | | |   minReads=0
 816 | | |   mayRaise=[ExceptionFailure]
 817 | | |   freeRegs=[reg]
 818 | | | call name
 819 | | |   minReads=0
 820 | | |   mayRaise=[ExceptionFailure]
 821 | | |   freeRegs=[reg]
 822 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 823 | | |   minReads=0
 824 | | |   mayRaise=[]
 825 | | |   freeRegs=[reg]
 826 | | | readRegister reg
 827 | | |   minReads=0
 828 | | |   mayRaise=[]
 829 | | |   freeRegs=[reg]
 830 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 831 | | |   minReads=0
 832 | | |   mayRaise=[]
 833 | | |   freeRegs=[reg]
 834 | | | writeRegister reg
 835 | | |   minReads=0
 836 | | |   mayRaise=[]
 837 | | |   freeRegs=[reg]
 838 | | | jump loop
 839 | | |   minReads=0
 840 | | |   mayRaise=[]
 841 | | |   freeRegs=[]
 842 | | <ko>
 843 | | | pushInput
 844 | | |   minReads=0
 845 | | |   mayRaise=[ExceptionFailure]
 846 | | |   freeRegs=[reg]
 847 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 848 | | |                                                                j_1
 849 | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 850 | | |   minReads=0
 851 | | |   mayRaise=[ExceptionFailure]
 852 | | |   freeRegs=[reg]
 853 | | | choicesBranch
 854 | | |   minReads=0
 855 | | |   mayRaise=[ExceptionFailure]
 856 | | |   freeRegs=[reg]
 857 | | | | <branch (\x_0 -> x_0)>
 858 | | | | | readRegister reg
 859 | | | | |   minReads=0
 860 | | | | |   mayRaise=[]
 861 | | | | |   freeRegs=[reg]
 862 | | | | | call name
 863 | | | | |   minReads=0
 864 | | | | |   mayRaise=[]
 865 | | | | |   freeRegs=[]
 866 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 867 | | | | |   minReads=0
 868 | | | | |   mayRaise=[]
 869 | | | | |   freeRegs=[]
 870 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 871 | | | | |   minReads=0
 872 | | | | |   mayRaise=[]
 873 | | | | |   freeRegs=[]
 874 | | | | | call name
 875 | | | | |   minReads=0
 876 | | | | |   mayRaise=[]
 877 | | | | |   freeRegs=[]
 878 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 879 | | | | |   minReads=0
 880 | | | | |   mayRaise=[]
 881 | | | | |   freeRegs=[]
 882 | | | | | ret
 883 | | | | |   minReads=0
 884 | | | | |   mayRaise=[]
 885 | | | | |   freeRegs=[]
 886 | | | | <default>
 887 | | | | | fail []
 888 | | | | |   minReads=0
 889 | | | | |   mayRaise=[ExceptionFailure]
 890 | | | | |   freeRegs=[]
 891 let name
 892   minReads=0
 893   mayRaise=[ExceptionFailure]
 894   freeRegs=[]
 895 | pushValue (\x_0 -> \x_1 -> x_1)
 896 |   minReads=0
 897 |   mayRaise=[ExceptionFailure]
 898 |   freeRegs=[]
 899 | call name
 900 |   minReads=0
 901 |   mayRaise=[ExceptionFailure]
 902 |   freeRegs=[]
 903 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 904 |   minReads=0
 905 |   mayRaise=[ExceptionFailure]
 906 |   freeRegs=[]
 907 | join join
 908 |   minReads=0
 909 |   mayRaise=[]
 910 |   freeRegs=[]
 911 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 912 | |   minReads=0
 913 | |   mayRaise=[]
 914 | |   freeRegs=[]
 915 | | ret
 916 | |   minReads=0
 917 | |   mayRaise=[]
 918 | |   freeRegs=[]
 919 | catch ExceptionFailure
 920 |   minReads=0
 921 |   mayRaise=[ExceptionFailure]
 922 |   freeRegs=[]
 923 | | <ok>
 924 | | | pushValue (\x_0 -> GHC.Tuple.())
 925 | | |   minReads=3
 926 | | |   mayRaise=[ExceptionFailure]
 927 | | |   freeRegs=[]
 928 | | | call name
 929 | | |   minReads=3
 930 | | |   mayRaise=[ExceptionFailure]
 931 | | |   freeRegs=[]
 932 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 933 | | |   minReads=0
 934 | | |   mayRaise=[]
 935 | | |   freeRegs=[]
 936 | | | commit ExceptionFailure
 937 | | |   minReads=0
 938 | | |   mayRaise=[]
 939 | | |   freeRegs=[]
 940 | | | refJoin join
 941 | | |   minReads=0
 942 | | |   mayRaise=[]
 943 | | |   freeRegs=[]
 944 | | <ko>
 945 | | | pushInput
 946 | | |   minReads=0
 947 | | |   mayRaise=[ExceptionFailure]
 948 | | |   freeRegs=[]
 949 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 950 | | |                                                                j_1
 951 | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 952 | | |   minReads=0
 953 | | |   mayRaise=[ExceptionFailure]
 954 | | |   freeRegs=[]
 955 | | | choicesBranch
 956 | | |   minReads=0
 957 | | |   mayRaise=[ExceptionFailure]
 958 | | |   freeRegs=[]
 959 | | | | <branch (\x_0 -> x_0)>
 960 | | | | | call name
 961 | | | | |   minReads=0
 962 | | | | |   mayRaise=[]
 963 | | | | |   freeRegs=[]
 964 | | | | | refJoin join
 965 | | | | |   minReads=0
 966 | | | | |   mayRaise=[]
 967 | | | | |   freeRegs=[]
 968 | | | | <default>
 969 | | | | | fail []
 970 | | | | |   minReads=0
 971 | | | | |   mayRaise=[ExceptionFailure]
 972 | | | | |   freeRegs=[]
 973 let name
 974   minReads=0
 975   mayRaise=[ExceptionFailure]
 976   freeRegs=[]
 977 | pushValue (\x_0 -> \x_1 -> x_1)
 978 |   minReads=0
 979 |   mayRaise=[ExceptionFailure]
 980 |   freeRegs=[]
 981 | catch ExceptionFailure
 982 |   minReads=0
 983 |   mayRaise=[ExceptionFailure]
 984 |   freeRegs=[]
 985 | | <ok>
 986 | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_2)
 987 | | |   minReads=1
 988 | | |   mayRaise=[ExceptionFailure]
 989 | | |   freeRegs=[]
 990 | | | comment "satisfy"
 991 | | |   minReads=1
 992 | | |   mayRaise=[ExceptionFailure]
 993 | | |   freeRegs=[]
 994 | | | read Parsers.Nandlang.nandIdentStart
 995 | | |   minReads=1
 996 | | |   mayRaise=[ExceptionFailure]
 997 | | |   freeRegs=[]
 998 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 999 | | |   minReads=0
1000 | | |   mayRaise=[ExceptionFailure]
1001 | | |   freeRegs=[]
1002 | | | pushValue (\x_0 -> x_0)
1003 | | |   minReads=0
1004 | | |   mayRaise=[ExceptionFailure]
1005 | | |   freeRegs=[]
1006 | | | newRegister reg
1007 | | |   minReads=0
1008 | | |   mayRaise=[ExceptionFailure]
1009 | | |   freeRegs=[]
1010 | | | iter loop
1011 | | |   minReads=0
1012 | | |   mayRaise=[ExceptionFailure]
1013 | | |   freeRegs=[reg]
1014 | | | | <ok>
1015 | | | | | pushValue (\x_0 -> \x_1 -> x_1)
1016 | | | | |   minReads=1
1017 | | | | |   mayRaise=[ExceptionFailure]
1018 | | | | |   freeRegs=[reg]
1019 | | | | | comment "satisfy"
1020 | | | | |   minReads=1
1021 | | | | |   mayRaise=[ExceptionFailure]
1022 | | | | |   freeRegs=[reg]
1023 | | | | | read Parsers.Nandlang.nandIdentLetter
1024 | | | | |   minReads=1
1025 | | | | |   mayRaise=[ExceptionFailure]
1026 | | | | |   freeRegs=[reg]
1027 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1028 | | | | |   minReads=0
1029 | | | | |   mayRaise=[]
1030 | | | | |   freeRegs=[reg]
1031 | | | | | readRegister reg
1032 | | | | |   minReads=0
1033 | | | | |   mayRaise=[]
1034 | | | | |   freeRegs=[reg]
1035 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1036 | | | | |   minReads=0
1037 | | | | |   mayRaise=[]
1038 | | | | |   freeRegs=[reg]
1039 | | | | | writeRegister reg
1040 | | | | |   minReads=0
1041 | | | | |   mayRaise=[]
1042 | | | | |   freeRegs=[reg]
1043 | | | | | jump loop
1044 | | | | |   minReads=0
1045 | | | | |   mayRaise=[]
1046 | | | | |   freeRegs=[]
1047 | | | | <ko>
1048 | | | | | pushInput
1049 | | | | |   minReads=0
1050 | | | | |   mayRaise=[ExceptionFailure]
1051 | | | | |   freeRegs=[reg]
1052 | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
1053 | | | | |                                                                j_1
1054 | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
1055 | | | | |   minReads=0
1056 | | | | |   mayRaise=[ExceptionFailure]
1057 | | | | |   freeRegs=[reg]
1058 | | | | | choicesBranch
1059 | | | | |   minReads=0
1060 | | | | |   mayRaise=[ExceptionFailure]
1061 | | | | |   freeRegs=[reg]
1062 | | | | | | <branch (\x_0 -> x_0)>
1063 | | | | | | | readRegister reg
1064 | | | | | | |   minReads=1
1065 | | | | | | |   mayRaise=[ExceptionFailure]
1066 | | | | | | |   freeRegs=[reg]
1067 | | | | | | | call name
1068 | | | | | | |   minReads=1
1069 | | | | | | |   mayRaise=[ExceptionFailure]
1070 | | | | | | |   freeRegs=[]
1071 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1072 | | | | | | |   minReads=1
1073 | | | | | | |   mayRaise=[ExceptionFailure]
1074 | | | | | | |   freeRegs=[]
1075 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1076 | | | | | | |   minReads=1
1077 | | | | | | |   mayRaise=[ExceptionFailure]
1078 | | | | | | |   freeRegs=[]
1079 | | | | | | | call name
1080 | | | | | | |   minReads=1
1081 | | | | | | |   mayRaise=[ExceptionFailure]
1082 | | | | | | |   freeRegs=[]
1083 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1084 | | | | | | |   minReads=1
1085 | | | | | | |   mayRaise=[ExceptionFailure]
1086 | | | | | | |   freeRegs=[]
1087 | | | | | | | commit ExceptionFailure
1088 | | | | | | |   minReads=1
1089 | | | | | | |   mayRaise=[ExceptionFailure]
1090 | | | | | | |   freeRegs=[]
1091 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1092 | | | | | | |   minReads=1
1093 | | | | | | |   mayRaise=[ExceptionFailure]
1094 | | | | | | |   freeRegs=[]
1095 | | | | | | | call name
1096 | | | | | | |   minReads=1
1097 | | | | | | |   mayRaise=[ExceptionFailure]
1098 | | | | | | |   freeRegs=[]
1099 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1100 | | | | | | |   minReads=0
1101 | | | | | | |   mayRaise=[]
1102 | | | | | | |   freeRegs=[]
1103 | | | | | | | ret
1104 | | | | | | |   minReads=0
1105 | | | | | | |   mayRaise=[]
1106 | | | | | | |   freeRegs=[]
1107 | | | | | | <default>
1108 | | | | | | | fail []
1109 | | | | | | |   minReads=0
1110 | | | | | | |   mayRaise=[ExceptionFailure]
1111 | | | | | | |   freeRegs=[]
1112 | | <ko>
1113 | | | loadInput
1114 | | |   minReads=0
1115 | | |   mayRaise=[ExceptionFailure]
1116 | | |   freeRegs=[]
1117 | | | fail []
1118 | | |   minReads=0
1119 | | |   mayRaise=[ExceptionFailure]
1120 | | |   freeRegs=[]
1121 let name
1122   minReads=0
1123   mayRaise=[]
1124   freeRegs=[]
1125 | pushValue (\x_0 -> \x_1 -> x_1)
1126 |   minReads=0
1127 |   mayRaise=[]
1128 |   freeRegs=[]
1129 | ret
1130 |   minReads=0
1131 |   mayRaise=[]
1132 |   freeRegs=[]
1133 let name
1134   minReads=0
1135   mayRaise=[]
1136   freeRegs=[]
1137 | pushValue GHC.Tuple.()
1138 |   minReads=0
1139 |   mayRaise=[]
1140 |   freeRegs=[]
1141 | ret
1142 |   minReads=0
1143 |   mayRaise=[]
1144 |   freeRegs=[]
1145 let name
1146   minReads=0
1147   mayRaise=[]
1148   freeRegs=[]
1149 | pushValue GHC.Tuple.()
1150 |   minReads=0
1151 |   mayRaise=[]
1152 |   freeRegs=[]
1153 | ret
1154 |   minReads=0
1155 |   mayRaise=[]
1156 |   freeRegs=[]
1157 let name
1158   minReads=1
1159   mayRaise=[ExceptionFailure]
1160   freeRegs=[]
1161 | comment "satisfy"
1162 |   minReads=1
1163 |   mayRaise=[ExceptionFailure]
1164 |   freeRegs=[]
1165 | read (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))
1166 |   minReads=1
1167 |   mayRaise=[ExceptionFailure]
1168 |   freeRegs=[]
1169 | ret
1170 |   minReads=0
1171 |   mayRaise=[]
1172 |   freeRegs=[]
1173 let name
1174   minReads=1
1175   mayRaise=[ExceptionFailure]
1176   freeRegs=[]
1177 | pushValue (\x_0 -> \x_1 -> GHC.Tuple.())
1178 |   minReads=1
1179 |   mayRaise=[ExceptionFailure]
1180 |   freeRegs=[]
1181 | call name
1182 |   minReads=1
1183 |   mayRaise=[ExceptionFailure]
1184 |   freeRegs=[]
1185 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1186 |   minReads=0
1187 |   mayRaise=[ExceptionFailure]
1188 |   freeRegs=[]
1189 | pushValue (\x_0 -> x_0)
1190 |   minReads=0
1191 |   mayRaise=[ExceptionFailure]
1192 |   freeRegs=[]
1193 | newRegister reg
1194 |   minReads=0
1195 |   mayRaise=[ExceptionFailure]
1196 |   freeRegs=[]
1197 | iter loop
1198 |   minReads=0
1199 |   mayRaise=[ExceptionFailure]
1200 |   freeRegs=[reg]
1201 | | <ok>
1202 | | | pushValue (\x_0 -> \x_1 -> x_1)
1203 | | |   minReads=1
1204 | | |   mayRaise=[ExceptionFailure]
1205 | | |   freeRegs=[reg]
1206 | | | call name
1207 | | |   minReads=1
1208 | | |   mayRaise=[ExceptionFailure]
1209 | | |   freeRegs=[reg]
1210 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1211 | | |   minReads=0
1212 | | |   mayRaise=[]
1213 | | |   freeRegs=[reg]
1214 | | | readRegister reg
1215 | | |   minReads=0
1216 | | |   mayRaise=[]
1217 | | |   freeRegs=[reg]
1218 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1219 | | |   minReads=0
1220 | | |   mayRaise=[]
1221 | | |   freeRegs=[reg]
1222 | | | writeRegister reg
1223 | | |   minReads=0
1224 | | |   mayRaise=[]
1225 | | |   freeRegs=[reg]
1226 | | | jump loop
1227 | | |   minReads=0
1228 | | |   mayRaise=[]
1229 | | |   freeRegs=[]
1230 | | <ko>
1231 | | | pushInput
1232 | | |   minReads=0
1233 | | |   mayRaise=[ExceptionFailure]
1234 | | |   freeRegs=[reg]
1235 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
1236 | | |                                                                j_1
1237 | | |                                                                _) -> i_0 GHC.Classes.== j_1)
1238 | | |   minReads=0
1239 | | |   mayRaise=[ExceptionFailure]
1240 | | |   freeRegs=[reg]
1241 | | | choicesBranch
1242 | | |   minReads=0
1243 | | |   mayRaise=[ExceptionFailure]
1244 | | |   freeRegs=[reg]
1245 | | | | <branch (\x_0 -> x_0)>
1246 | | | | | readRegister reg
1247 | | | | |   minReads=0
1248 | | | | |   mayRaise=[]
1249 | | | | |   freeRegs=[reg]
1250 | | | | | pushValue GHC.Tuple.()
1251 | | | | |   minReads=0
1252 | | | | |   mayRaise=[]
1253 | | | | |   freeRegs=[]
1254 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1255 | | | | |   minReads=0
1256 | | | | |   mayRaise=[]
1257 | | | | |   freeRegs=[]
1258 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1259 | | | | |   minReads=0
1260 | | | | |   mayRaise=[]
1261 | | | | |   freeRegs=[]
1262 | | | | | ret
1263 | | | | |   minReads=0
1264 | | | | |   mayRaise=[]
1265 | | | | |   freeRegs=[]
1266 | | | | <default>
1267 | | | | | fail []
1268 | | | | |   minReads=0
1269 | | | | |   mayRaise=[ExceptionFailure]
1270 | | | | |   freeRegs=[]
1271 let name
1272   minReads=1
1273   mayRaise=[ExceptionFailure]
1274   freeRegs=[]
1275 | pushValue (\x_0 -> \x_1 -> x_1)
1276 |   minReads=1
1277 |   mayRaise=[ExceptionFailure]
1278 |   freeRegs=[]
1279 | comment "satisfy"
1280 |   minReads=1
1281 |   mayRaise=[ExceptionFailure]
1282 |   freeRegs=[]
1283 | read GHC.Unicode.isSpace
1284 |   minReads=1
1285 |   mayRaise=[ExceptionFailure]
1286 |   freeRegs=[]
1287 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1288 |   minReads=0
1289 |   mayRaise=[]
1290 |   freeRegs=[]
1291 | call name
1292 |   minReads=0
1293 |   mayRaise=[]
1294 |   freeRegs=[]
1295 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1296 |   minReads=0
1297 |   mayRaise=[]
1298 |   freeRegs=[]
1299 | ret
1300 |   minReads=0
1301 |   mayRaise=[]
1302 |   freeRegs=[]
1303 let name
1304   minReads=2
1305   mayRaise=[ExceptionFailure]
1306   freeRegs=[]
1307 | pushValue (\x_0 -> \x_1 -> '(')
1308 |   minReads=2
1309 |   mayRaise=[ExceptionFailure]
1310 |   freeRegs=[]
1311 | comment "satisfy"
1312 |   minReads=2
1313 |   mayRaise=[ExceptionFailure]
1314 |   freeRegs=[]
1315 | read ((GHC.Classes.==) '(')
1316 |   minReads=2
1317 |   mayRaise=[ExceptionFailure]
1318 |   freeRegs=[]
1319 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1320 |   minReads=1
1321 |   mayRaise=[ExceptionFailure]
1322 |   freeRegs=[]
1323 | call name
1324 |   minReads=1
1325 |   mayRaise=[ExceptionFailure]
1326 |   freeRegs=[]
1327 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1328 |   minReads=0
1329 |   mayRaise=[]
1330 |   freeRegs=[]
1331 | ret
1332 |   minReads=0
1333 |   mayRaise=[]
1334 |   freeRegs=[]
1335 let name
1336   minReads=2
1337   mayRaise=[ExceptionFailure]
1338   freeRegs=[]
1339 | pushValue (\x_0 -> \x_1 -> ')')
1340 |   minReads=2
1341 |   mayRaise=[ExceptionFailure]
1342 |   freeRegs=[]
1343 | comment "satisfy"
1344 |   minReads=2
1345 |   mayRaise=[ExceptionFailure]
1346 |   freeRegs=[]
1347 | read ((GHC.Classes.==) ')')
1348 |   minReads=2
1349 |   mayRaise=[ExceptionFailure]
1350 |   freeRegs=[]
1351 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1352 |   minReads=1
1353 |   mayRaise=[ExceptionFailure]
1354 |   freeRegs=[]
1355 | call name
1356 |   minReads=1
1357 |   mayRaise=[ExceptionFailure]
1358 |   freeRegs=[]
1359 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1360 |   minReads=0
1361 |   mayRaise=[]
1362 |   freeRegs=[]
1363 | ret
1364 |   minReads=0
1365 |   mayRaise=[]
1366 |   freeRegs=[]
1367 let name
1368   minReads=2
1369   mayRaise=[ExceptionFailure]
1370   freeRegs=[]
1371 | pushValue (\x_0 -> \x_1 -> ',')
1372 |   minReads=2
1373 |   mayRaise=[ExceptionFailure]
1374 |   freeRegs=[]
1375 | comment "satisfy"
1376 |   minReads=2
1377 |   mayRaise=[ExceptionFailure]
1378 |   freeRegs=[]
1379 | read ((GHC.Classes.==) ',')
1380 |   minReads=2
1381 |   mayRaise=[ExceptionFailure]
1382 |   freeRegs=[]
1383 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1384 |   minReads=1
1385 |   mayRaise=[ExceptionFailure]
1386 |   freeRegs=[]
1387 | call name
1388 |   minReads=1
1389 |   mayRaise=[ExceptionFailure]
1390 |   freeRegs=[]
1391 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1392 |   minReads=0
1393 |   mayRaise=[]
1394 |   freeRegs=[]
1395 | ret
1396 |   minReads=0
1397 |   mayRaise=[]
1398 |   freeRegs=[]
1399 let name
1400   minReads=2
1401   mayRaise=[ExceptionFailure]
1402   freeRegs=[]
1403 | pushValue (\x_0 -> \x_1 -> ';')
1404 |   minReads=2
1405 |   mayRaise=[ExceptionFailure]
1406 |   freeRegs=[]
1407 | comment "satisfy"
1408 |   minReads=2
1409 |   mayRaise=[ExceptionFailure]
1410 |   freeRegs=[]
1411 | read ((GHC.Classes.==) ';')
1412 |   minReads=2
1413 |   mayRaise=[ExceptionFailure]
1414 |   freeRegs=[]
1415 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1416 |   minReads=1
1417 |   mayRaise=[ExceptionFailure]
1418 |   freeRegs=[]
1419 | call name
1420 |   minReads=1
1421 |   mayRaise=[ExceptionFailure]
1422 |   freeRegs=[]
1423 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1424 |   minReads=0
1425 |   mayRaise=[]
1426 |   freeRegs=[]
1427 | ret
1428 |   minReads=0
1429 |   mayRaise=[]
1430 |   freeRegs=[]
1431 let name
1432   minReads=2
1433   mayRaise=[ExceptionFailure]
1434   freeRegs=[]
1435 | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> x_3)
1436 |   minReads=2
1437 |   mayRaise=[ExceptionFailure]
1438 |   freeRegs=[]
1439 | comment "satisfy"
1440 |   minReads=2
1441 |   mayRaise=[ExceptionFailure]
1442 |   freeRegs=[]
1443 | read ((GHC.Classes.==) '{')
1444 |   minReads=2
1445 |   mayRaise=[ExceptionFailure]
1446 |   freeRegs=[]
1447 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1448 |   minReads=1
1449 |   mayRaise=[ExceptionFailure]
1450 |   freeRegs=[]
1451 | call name
1452 |   minReads=1
1453 |   mayRaise=[ExceptionFailure]
1454 |   freeRegs=[]
1455 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1456 |   minReads=0
1457 |   mayRaise=[ExceptionFailure]
1458 |   freeRegs=[]
1459 | pushValue (\x_0 -> x_0)
1460 |   minReads=0
1461 |   mayRaise=[ExceptionFailure]
1462 |   freeRegs=[]
1463 | newRegister reg
1464 |   minReads=0
1465 |   mayRaise=[ExceptionFailure]
1466 |   freeRegs=[]
1467 | iter loop
1468 |   minReads=0
1469 |   mayRaise=[ExceptionFailure]
1470 |   freeRegs=[reg]
1471 | | <ok>
1472 | | | pushValue (\x_0 -> \x_1 -> x_1)
1473 | | |   minReads=0
1474 | | |   mayRaise=[ExceptionFailure]
1475 | | |   freeRegs=[reg]
1476 | | | join join
1477 | | |   minReads=0
1478 | | |   mayRaise=[]
1479 | | |   freeRegs=[reg]
1480 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1481 | | | |   minReads=0
1482 | | | |   mayRaise=[]
1483 | | | |   freeRegs=[reg]
1484 | | | | readRegister reg
1485 | | | |   minReads=0
1486 | | | |   mayRaise=[]
1487 | | | |   freeRegs=[reg]
1488 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1489 | | | |   minReads=0
1490 | | | |   mayRaise=[]
1491 | | | |   freeRegs=[reg]
1492 | | | | writeRegister reg
1493 | | | |   minReads=0
1494 | | | |   mayRaise=[]
1495 | | | |   freeRegs=[reg]
1496 | | | | jump loop
1497 | | | |   minReads=0
1498 | | | |   mayRaise=[]
1499 | | | |   freeRegs=[]
1500 | | | catch ExceptionFailure
1501 | | |   minReads=0
1502 | | |   mayRaise=[ExceptionFailure]
1503 | | |   freeRegs=[reg]
1504 | | | | <ok>
1505 | | | | | pushValue (\x_0 -> \x_1 -> x_1)
1506 | | | | |   minReads=0
1507 | | | | |   mayRaise=[ExceptionFailure]
1508 | | | | |   freeRegs=[reg]
1509 | | | | | catch ExceptionFailure
1510 | | | | |   minReads=0
1511 | | | | |   mayRaise=[ExceptionFailure]
1512 | | | | |   freeRegs=[reg]
1513 | | | | | | <ok>
1514 | | | | | | | pushValue (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
1515 | | | | | | |   minReads=2
1516 | | | | | | |   mayRaise=[ExceptionFailure]
1517 | | | | | | |   freeRegs=[reg]
1518 | | | | | | | comment "satisfy"
1519 | | | | | | |   minReads=2
1520 | | | | | | |   mayRaise=[ExceptionFailure]
1521 | | | | | | |   freeRegs=[reg]
1522 | | | | | | | read ((GHC.Classes.==) 'i')
1523 | | | | | | |   minReads=2
1524 | | | | | | |   mayRaise=[ExceptionFailure]
1525 | | | | | | |   freeRegs=[reg]
1526 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1527 | | | | | | |   minReads=1
1528 | | | | | | |   mayRaise=[ExceptionFailure]
1529 | | | | | | |   freeRegs=[reg]
1530 | | | | | | | comment "satisfy"
1531 | | | | | | |   minReads=1
1532 | | | | | | |   mayRaise=[ExceptionFailure]
1533 | | | | | | |   freeRegs=[reg]
1534 | | | | | | | read ((GHC.Classes.==) 'f')
1535 | | | | | | |   minReads=1
1536 | | | | | | |   mayRaise=[ExceptionFailure]
1537 | | | | | | |   freeRegs=[reg]
1538 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1539 | | | | | | |   minReads=0
1540 | | | | | | |   mayRaise=[]
1541 | | | | | | |   freeRegs=[reg]
1542 | | | | | | | commit ExceptionFailure
1543 | | | | | | |   minReads=0
1544 | | | | | | |   mayRaise=[]
1545 | | | | | | |   freeRegs=[reg]
1546 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1547 | | | | | | |   minReads=0
1548 | | | | | | |   mayRaise=[]
1549 | | | | | | |   freeRegs=[reg]
1550 | | | | | | | call name
1551 | | | | | | |   minReads=0
1552 | | | | | | |   mayRaise=[]
1553 | | | | | | |   freeRegs=[reg]
1554 | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1555 | | | | | | |   minReads=0
1556 | | | | | | |   mayRaise=[]
1557 | | | | | | |   freeRegs=[reg]
1558 | | | | | | | commit ExceptionFailure
1559 | | | | | | |   minReads=0
1560 | | | | | | |   mayRaise=[]
1561 | | | | | | |   freeRegs=[reg]
1562 | | | | | | | refJoin join
1563 | | | | | | |   minReads=0
1564 | | | | | | |   mayRaise=[]
1565 | | | | | | |   freeRegs=[reg]
1566 | | | | | | <ko>
1567 | | | | | | | loadInput
1568 | | | | | | |   minReads=0
1569 | | | | | | |   mayRaise=[ExceptionFailure]
1570 | | | | | | |   freeRegs=[]
1571 | | | | | | | fail []
1572 | | | | | | |   minReads=0
1573 | | | | | | |   mayRaise=[ExceptionFailure]
1574 | | | | | | |   freeRegs=[]
1575 | | | | <ko>
1576 | | | | | pushInput
1577 | | | | |   minReads=0
1578 | | | | |   mayRaise=[ExceptionFailure]
1579 | | | | |   freeRegs=[reg]
1580 | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
1581 | | | | |                                                                j_1
1582 | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
1583 | | | | |   minReads=0
1584 | | | | |   mayRaise=[ExceptionFailure]
1585 | | | | |   freeRegs=[reg]
1586 | | | | | choicesBranch
1587 | | | | |   minReads=0
1588 | | | | |   mayRaise=[ExceptionFailure]
1589 | | | | |   freeRegs=[reg]
1590 | | | | | | <branch (\x_0 -> x_0)>
1591 | | | | | | | catch ExceptionFailure
1592 | | | | | | |   minReads=0
1593 | | | | | | |   mayRaise=[ExceptionFailure]
1594 | | | | | | |   freeRegs=[reg]
1595 | | | | | | | | <ok>
1596 | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
1597 | | | | | | | | |   minReads=0
1598 | | | | | | | | |   mayRaise=[ExceptionFailure]
1599 | | | | | | | | |   freeRegs=[]
1600 | | | | | | | | | catch ExceptionFailure
1601 | | | | | | | | |   minReads=0
1602 | | | | | | | | |   mayRaise=[ExceptionFailure]
1603 | | | | | | | | |   freeRegs=[]
1604 | | | | | | | | | | <ok>
1605 | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[])))))
1606 | | | | | | | | | | |   minReads=5
1607 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1608 | | | | | | | | | | |   freeRegs=[]
1609 | | | | | | | | | | | comment "satisfy"
1610 | | | | | | | | | | |   minReads=5
1611 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1612 | | | | | | | | | | |   freeRegs=[]
1613 | | | | | | | | | | | read ((GHC.Classes.==) 'w')
1614 | | | | | | | | | | |   minReads=5
1615 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1616 | | | | | | | | | | |   freeRegs=[]
1617 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1618 | | | | | | | | | | |   minReads=4
1619 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1620 | | | | | | | | | | |   freeRegs=[]
1621 | | | | | | | | | | | comment "satisfy"
1622 | | | | | | | | | | |   minReads=4
1623 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1624 | | | | | | | | | | |   freeRegs=[]
1625 | | | | | | | | | | | read ((GHC.Classes.==) 'h')
1626 | | | | | | | | | | |   minReads=4
1627 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1628 | | | | | | | | | | |   freeRegs=[]
1629 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1630 | | | | | | | | | | |   minReads=3
1631 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1632 | | | | | | | | | | |   freeRegs=[]
1633 | | | | | | | | | | | comment "satisfy"
1634 | | | | | | | | | | |   minReads=3
1635 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1636 | | | | | | | | | | |   freeRegs=[]
1637 | | | | | | | | | | | read ((GHC.Classes.==) 'i')
1638 | | | | | | | | | | |   minReads=3
1639 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1640 | | | | | | | | | | |   freeRegs=[]
1641 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1642 | | | | | | | | | | |   minReads=2
1643 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1644 | | | | | | | | | | |   freeRegs=[]
1645 | | | | | | | | | | | comment "satisfy"
1646 | | | | | | | | | | |   minReads=2
1647 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1648 | | | | | | | | | | |   freeRegs=[]
1649 | | | | | | | | | | | read ((GHC.Classes.==) 'l')
1650 | | | | | | | | | | |   minReads=2
1651 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1652 | | | | | | | | | | |   freeRegs=[]
1653 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1654 | | | | | | | | | | |   minReads=1
1655 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1656 | | | | | | | | | | |   freeRegs=[]
1657 | | | | | | | | | | | comment "satisfy"
1658 | | | | | | | | | | |   minReads=1
1659 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1660 | | | | | | | | | | |   freeRegs=[]
1661 | | | | | | | | | | | read ((GHC.Classes.==) 'e')
1662 | | | | | | | | | | |   minReads=1
1663 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1664 | | | | | | | | | | |   freeRegs=[]
1665 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1666 | | | | | | | | | | |   minReads=0
1667 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1668 | | | | | | | | | | |   freeRegs=[]
1669 | | | | | | | | | | | commit ExceptionFailure
1670 | | | | | | | | | | |   minReads=0
1671 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1672 | | | | | | | | | | |   freeRegs=[]
1673 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1674 | | | | | | | | | | |   minReads=0
1675 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1676 | | | | | | | | | | |   freeRegs=[]
1677 | | | | | | | | | | | call name
1678 | | | | | | | | | | |   minReads=0
1679 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1680 | | | | | | | | | | |   freeRegs=[]
1681 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1682 | | | | | | | | | | |   minReads=0
1683 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1684 | | | | | | | | | | |   freeRegs=[]
1685 | | | | | | | | | | | call name
1686 | | | | | | | | | | |   minReads=0
1687 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1688 | | | | | | | | | | |   freeRegs=[]
1689 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1690 | | | | | | | | | | |   minReads=0
1691 | | | | | | | | | | |   mayRaise=[]
1692 | | | | | | | | | | |   freeRegs=[]
1693 | | | | | | | | | | | call name
1694 | | | | | | | | | | |   minReads=0
1695 | | | | | | | | | | |   mayRaise=[]
1696 | | | | | | | | | | |   freeRegs=[]
1697 | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1698 | | | | | | | | | | |   minReads=0
1699 | | | | | | | | | | |   mayRaise=[]
1700 | | | | | | | | | | |   freeRegs=[reg]
1701 | | | | | | | | | | | commit ExceptionFailure
1702 | | | | | | | | | | |   minReads=0
1703 | | | | | | | | | | |   mayRaise=[]
1704 | | | | | | | | | | |   freeRegs=[reg]
1705 | | | | | | | | | | | refJoin join
1706 | | | | | | | | | | |   minReads=0
1707 | | | | | | | | | | |   mayRaise=[]
1708 | | | | | | | | | | |   freeRegs=[reg]
1709 | | | | | | | | | | <ko>
1710 | | | | | | | | | | | loadInput
1711 | | | | | | | | | | |   minReads=0
1712 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1713 | | | | | | | | | | |   freeRegs=[]
1714 | | | | | | | | | | | fail []
1715 | | | | | | | | | | |   minReads=0
1716 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1717 | | | | | | | | | | |   freeRegs=[]
1718 | | | | | | | | <ko>
1719 | | | | | | | | | pushInput
1720 | | | | | | | | |   minReads=0
1721 | | | | | | | | |   mayRaise=[ExceptionFailure]
1722 | | | | | | | | |   freeRegs=[reg]
1723 | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
1724 | | | | | | | | |                                                                j_1
1725 | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
1726 | | | | | | | | |   minReads=0
1727 | | | | | | | | |   mayRaise=[ExceptionFailure]
1728 | | | | | | | | |   freeRegs=[reg]
1729 | | | | | | | | | choicesBranch
1730 | | | | | | | | |   minReads=0
1731 | | | | | | | | |   mayRaise=[ExceptionFailure]
1732 | | | | | | | | |   freeRegs=[reg]
1733 | | | | | | | | | | <branch (\x_0 -> x_0)>
1734 | | | | | | | | | | | catch ExceptionFailure
1735 | | | | | | | | | | |   minReads=0
1736 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1737 | | | | | | | | | | |   freeRegs=[reg]
1738 | | | | | | | | | | | | <ok>
1739 | | | | | | | | | | | | | catch ExceptionFailure
1740 | | | | | | | | | | | | |   minReads=0
1741 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1742 | | | | | | | | | | | | |   freeRegs=[reg]
1743 | | | | | | | | | | | | | | <ok>
1744 | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8)
1745 | | | | | | | | | | | | | | |   minReads=0
1746 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1747 | | | | | | | | | | | | | | |   freeRegs=[reg]
1748 | | | | | | | | | | | | | | | join join
1749 | | | | | | | | | | | | | | |   minReads=0
1750 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1751 | | | | | | | | | | | | | | |   freeRegs=[reg]
1752 | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1753 | | | | | | | | | | | | | | | |   minReads=0
1754 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1755 | | | | | | | | | | | | | | | |   freeRegs=[reg]
1756 | | | | | | | | | | | | | | | | call name
1757 | | | | | | | | | | | | | | | |   minReads=0
1758 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1759 | | | | | | | | | | | | | | | |   freeRegs=[reg]
1760 | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1761 | | | | | | | | | | | | | | | |   minReads=0
1762 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1763 | | | | | | | | | | | | | | | |   freeRegs=[reg]
1764 | | | | | | | | | | | | | | | | pushValue (\x_0 -> x_0)
1765 | | | | | | | | | | | | | | | |   minReads=0
1766 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1767 | | | | | | | | | | | | | | | |   freeRegs=[reg]
1768 | | | | | | | | | | | | | | | | newRegister reg
1769 | | | | | | | | | | | | | | | |   minReads=0
1770 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1771 | | | | | | | | | | | | | | | |   freeRegs=[reg]
1772 | | | | | | | | | | | | | | | | iter loop
1773 | | | | | | | | | | | | | | | |   minReads=0
1774 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1775 | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1776 | | | | | | | | | | | | | | | | | <ok>
1777 | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
1778 | | | | | | | | | | | | | | | | | |   minReads=2
1779 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1780 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1781 | | | | | | | | | | | | | | | | | | call name
1782 | | | | | | | | | | | | | | | | | |   minReads=2
1783 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1784 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1785 | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1786 | | | | | | | | | | | | | | | | | |   minReads=2
1787 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1788 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1789 | | | | | | | | | | | | | | | | | | call name
1790 | | | | | | | | | | | | | | | | | |   minReads=2
1791 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1792 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1793 | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1794 | | | | | | | | | | | | | | | | | |   minReads=0
1795 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1796 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1797 | | | | | | | | | | | | | | | | | | call name
1798 | | | | | | | | | | | | | | | | | |   minReads=0
1799 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1800 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1801 | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1802 | | | | | | | | | | | | | | | | | |   minReads=0
1803 | | | | | | | | | | | | | | | | | |   mayRaise=[]
1804 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1805 | | | | | | | | | | | | | | | | | | readRegister reg
1806 | | | | | | | | | | | | | | | | | |   minReads=0
1807 | | | | | | | | | | | | | | | | | |   mayRaise=[]
1808 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1809 | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1810 | | | | | | | | | | | | | | | | | |   minReads=0
1811 | | | | | | | | | | | | | | | | | |   mayRaise=[]
1812 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1813 | | | | | | | | | | | | | | | | | | writeRegister reg
1814 | | | | | | | | | | | | | | | | | |   minReads=0
1815 | | | | | | | | | | | | | | | | | |   mayRaise=[]
1816 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1817 | | | | | | | | | | | | | | | | | | jump loop
1818 | | | | | | | | | | | | | | | | | |   minReads=0
1819 | | | | | | | | | | | | | | | | | |   mayRaise=[]
1820 | | | | | | | | | | | | | | | | | |   freeRegs=[]
1821 | | | | | | | | | | | | | | | | | <ko>
1822 | | | | | | | | | | | | | | | | | | pushInput
1823 | | | | | | | | | | | | | | | | | |   minReads=0
1824 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1825 | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1826 | | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
1827 | | | | | | | | | | | | | | | | | |                                                                j_1
1828 | | | | | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
1829 | | | | | | | | | | | | | | | | | |   minReads=0
1830 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1831 | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1832 | | | | | | | | | | | | | | | | | | choicesBranch
1833 | | | | | | | | | | | | | | | | | |   minReads=0
1834 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1835 | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1836 | | | | | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
1837 | | | | | | | | | | | | | | | | | | | | readRegister reg
1838 | | | | | | | | | | | | | | | | | | | |   minReads=2
1839 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1840 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1841 | | | | | | | | | | | | | | | | | | | | call name
1842 | | | | | | | | | | | | | | | | | | | |   minReads=2
1843 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1844 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1845 | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1846 | | | | | | | | | | | | | | | | | | | |   minReads=2
1847 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1848 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1849 | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1850 | | | | | | | | | | | | | | | | | | | |   minReads=2
1851 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1852 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1853 | | | | | | | | | | | | | | | | | | | | call name
1854 | | | | | | | | | | | | | | | | | | | |   minReads=2
1855 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1856 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1857 | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1858 | | | | | | | | | | | | | | | | | | | |   minReads=2
1859 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1860 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1861 | | | | | | | | | | | | | | | | | | | | comment "satisfy"
1862 | | | | | | | | | | | | | | | | | | | |   minReads=2
1863 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1864 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1865 | | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) '=')
1866 | | | | | | | | | | | | | | | | | | | |   minReads=2
1867 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1868 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1869 | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1870 | | | | | | | | | | | | | | | | | | | |   minReads=1
1871 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1872 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1873 | | | | | | | | | | | | | | | | | | | | call name
1874 | | | | | | | | | | | | | | | | | | | |   minReads=1
1875 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1876 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1877 | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1878 | | | | | | | | | | | | | | | | | | | |   minReads=0
1879 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1880 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1881 | | | | | | | | | | | | | | | | | | | | call name
1882 | | | | | | | | | | | | | | | | | | | |   minReads=0
1883 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1884 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1885 | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1886 | | | | | | | | | | | | | | | | | | | |   minReads=0
1887 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1888 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1889 | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> x_0)
1890 | | | | | | | | | | | | | | | | | | | |   minReads=0
1891 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1892 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1893 | | | | | | | | | | | | | | | | | | | | newRegister reg
1894 | | | | | | | | | | | | | | | | | | | |   minReads=0
1895 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1896 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1897 | | | | | | | | | | | | | | | | | | | | iter loop
1898 | | | | | | | | | | | | | | | | | | | |   minReads=0
1899 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1900 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1901 | | | | | | | | | | | | | | | | | | | | | <ok>
1902 | | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
1903 | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1904 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1905 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1906 | | | | | | | | | | | | | | | | | | | | | | call name
1907 | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1908 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1909 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1910 | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1911 | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1912 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1913 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1914 | | | | | | | | | | | | | | | | | | | | | | call name
1915 | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1916 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1917 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1918 | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1919 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1920 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1921 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1922 | | | | | | | | | | | | | | | | | | | | | | call name
1923 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1924 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1925 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1926 | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1927 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1928 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
1929 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1930 | | | | | | | | | | | | | | | | | | | | | | readRegister reg
1931 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1932 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
1933 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1934 | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1935 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1936 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
1937 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1938 | | | | | | | | | | | | | | | | | | | | | | writeRegister reg
1939 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1940 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
1941 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1942 | | | | | | | | | | | | | | | | | | | | | | jump loop
1943 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1944 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
1945 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[]
1946 | | | | | | | | | | | | | | | | | | | | | <ko>
1947 | | | | | | | | | | | | | | | | | | | | | | pushInput
1948 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1949 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1950 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1951 | | | | | | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
1952 | | | | | | | | | | | | | | | | | | | | | |                                                                j_1
1953 | | | | | | | | | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
1954 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1955 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1956 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1957 | | | | | | | | | | | | | | | | | | | | | | choicesBranch
1958 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1959 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1960 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1961 | | | | | | | | | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
1962 | | | | | | | | | | | | | | | | | | | | | | | | readRegister reg
1963 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1964 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1965 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
1966 | | | | | | | | | | | | | | | | | | | | | | | | call name
1967 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1968 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1969 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1970 | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1971 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1972 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1973 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1974 | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1975 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1976 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1977 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1978 | | | | | | | | | | | | | | | | | | | | | | | | call name
1979 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1980 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1981 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1982 | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1983 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1984 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1985 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1986 | | | | | | | | | | | | | | | | | | | | | | | | call name
1987 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
1988 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
1989 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1990 | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
1991 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1992 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
1993 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1994 | | | | | | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
1995 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=0
1996 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
1997 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
1998 | | | | | | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
1999 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=0
2000 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
2001 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2002 | | | | | | | | | | | | | | | | | | | | | | | | refJoin join
2003 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=0
2004 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
2005 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2006 | | | | | | | | | | | | | | | | | | | | | | | <default>
2007 | | | | | | | | | | | | | | | | | | | | | | | | fail []
2008 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=0
2009 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2010 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[]
2011 | | | | | | | | | | | | | | | | | | | <default>
2012 | | | | | | | | | | | | | | | | | | | | fail []
2013 | | | | | | | | | | | | | | | | | | | |   minReads=0
2014 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2015 | | | | | | | | | | | | | | | | | | | |   freeRegs=[]
2016 | | | | | | | | | | | | | | | catch ExceptionFailure
2017 | | | | | | | | | | | | | | |   minReads=0
2018 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2019 | | | | | | | | | | | | | | |   freeRegs=[reg]
2020 | | | | | | | | | | | | | | | | <ok>
2021 | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> GHC.Tuple.())
2022 | | | | | | | | | | | | | | | | |   minReads=0
2023 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2024 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2025 | | | | | | | | | | | | | | | | | catch ExceptionFailure
2026 | | | | | | | | | | | | | | | | |   minReads=0
2027 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2028 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2029 | | | | | | | | | | | | | | | | | | <ok>
2030 | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
2031 | | | | | | | | | | | | | | | | | | |   minReads=3
2032 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2033 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2034 | | | | | | | | | | | | | | | | | | | comment "satisfy"
2035 | | | | | | | | | | | | | | | | | | |   minReads=3
2036 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2037 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2038 | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) 'v')
2039 | | | | | | | | | | | | | | | | | | |   minReads=3
2040 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2041 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2042 | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2043 | | | | | | | | | | | | | | | | | | |   minReads=2
2044 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2045 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2046 | | | | | | | | | | | | | | | | | | | comment "satisfy"
2047 | | | | | | | | | | | | | | | | | | |   minReads=2
2048 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2049 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2050 | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) 'a')
2051 | | | | | | | | | | | | | | | | | | |   minReads=2
2052 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2053 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2054 | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2055 | | | | | | | | | | | | | | | | | | |   minReads=1
2056 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2057 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2058 | | | | | | | | | | | | | | | | | | | comment "satisfy"
2059 | | | | | | | | | | | | | | | | | | |   minReads=1
2060 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2061 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2062 | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) 'r')
2063 | | | | | | | | | | | | | | | | | | |   minReads=1
2064 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2065 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2066 | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2067 | | | | | | | | | | | | | | | | | | |   minReads=0
2068 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2069 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2070 | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
2071 | | | | | | | | | | | | | | | | | | |   minReads=0
2072 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2073 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2074 | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2075 | | | | | | | | | | | | | | | | | | |   minReads=0
2076 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2077 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2078 | | | | | | | | | | | | | | | | | | | call name
2079 | | | | | | | | | | | | | | | | | | |   minReads=0
2080 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2081 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2082 | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2083 | | | | | | | | | | | | | | | | | | |   minReads=0
2084 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2085 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2086 | | | | | | | | | | | | | | | | | | | commit ExceptionFailure
2087 | | | | | | | | | | | | | | | | | | |   minReads=0
2088 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2089 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2090 | | | | | | | | | | | | | | | | | | | refJoin join
2091 | | | | | | | | | | | | | | | | | | |   minReads=0
2092 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2093 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2094 | | | | | | | | | | | | | | | | | | <ko>
2095 | | | | | | | | | | | | | | | | | | | loadInput
2096 | | | | | | | | | | | | | | | | | | |   minReads=0
2097 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2098 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
2099 | | | | | | | | | | | | | | | | | | | fail []
2100 | | | | | | | | | | | | | | | | | | |   minReads=0
2101 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2102 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
2103 | | | | | | | | | | | | | | | | <ko>
2104 | | | | | | | | | | | | | | | | | pushInput
2105 | | | | | | | | | | | | | | | | |   minReads=0
2106 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2107 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2108 | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
2109 | | | | | | | | | | | | | | | | |                                                                j_1
2110 | | | | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
2111 | | | | | | | | | | | | | | | | |   minReads=0
2112 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2113 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2114 | | | | | | | | | | | | | | | | | choicesBranch
2115 | | | | | | | | | | | | | | | | |   minReads=0
2116 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2117 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2118 | | | | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
2119 | | | | | | | | | | | | | | | | | | | call name
2120 | | | | | | | | | | | | | | | | | | |   minReads=0
2121 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2122 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2123 | | | | | | | | | | | | | | | | | | | refJoin join
2124 | | | | | | | | | | | | | | | | | | |   minReads=0
2125 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2126 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
2127 | | | | | | | | | | | | | | | | | | <default>
2128 | | | | | | | | | | | | | | | | | | | fail []
2129 | | | | | | | | | | | | | | | | | | |   minReads=0
2130 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2131 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
2132 | | | | | | | | | | | | | | <ko>
2133 | | | | | | | | | | | | | | | loadInput
2134 | | | | | | | | | | | | | | |   minReads=0
2135 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2136 | | | | | | | | | | | | | | |   freeRegs=[]
2137 | | | | | | | | | | | | | | | fail []
2138 | | | | | | | | | | | | | | |   minReads=0
2139 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2140 | | | | | | | | | | | | | | |   freeRegs=[]
2141 | | | | | | | | | | | | <ko>
2142 | | | | | | | | | | | | | pushInput
2143 | | | | | | | | | | | | |   minReads=0
2144 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2145 | | | | | | | | | | | | |   freeRegs=[reg]
2146 | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
2147 | | | | | | | | | | | | |                                                                j_1
2148 | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
2149 | | | | | | | | | | | | |   minReads=0
2150 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2151 | | | | | | | | | | | | |   freeRegs=[reg]
2152 | | | | | | | | | | | | | choicesBranch
2153 | | | | | | | | | | | | |   minReads=0
2154 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2155 | | | | | | | | | | | | |   freeRegs=[reg]
2156 | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
2157 | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> x_0)
2158 | | | | | | | | | | | | | | |   minReads=2
2159 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2160 | | | | | | | | | | | | | | |   freeRegs=[reg]
2161 | | | | | | | | | | | | | | | call name
2162 | | | | | | | | | | | | | | |   minReads=2
2163 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2164 | | | | | | | | | | | | | | |   freeRegs=[reg]
2165 | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2166 | | | | | | | | | | | | | | |   minReads=2
2167 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2168 | | | | | | | | | | | | | | |   freeRegs=[reg]
2169 | | | | | | | | | | | | | | | call name
2170 | | | | | | | | | | | | | | |   minReads=2
2171 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2172 | | | | | | | | | | | | | | |   freeRegs=[reg]
2173 | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2174 | | | | | | | | | | | | | | |   minReads=0
2175 | | | | | | | | | | | | | | |   mayRaise=[]
2176 | | | | | | | | | | | | | | |   freeRegs=[reg]
2177 | | | | | | | | | | | | | | | refJoin join
2178 | | | | | | | | | | | | | | |   minReads=0
2179 | | | | | | | | | | | | | | |   mayRaise=[]
2180 | | | | | | | | | | | | | | |   freeRegs=[reg]
2181 | | | | | | | | | | | | | | <default>
2182 | | | | | | | | | | | | | | | fail []
2183 | | | | | | | | | | | | | | |   minReads=0
2184 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2185 | | | | | | | | | | | | | | |   freeRegs=[]
2186 | | | | | | | | | | <default>
2187 | | | | | | | | | | | fail []
2188 | | | | | | | | | | |   minReads=0
2189 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
2190 | | | | | | | | | | |   freeRegs=[]
2191 | | | | | | <default>
2192 | | | | | | | fail []
2193 | | | | | | |   minReads=0
2194 | | | | | | |   mayRaise=[ExceptionFailure]
2195 | | | | | | |   freeRegs=[]
2196 | | <ko>
2197 | | | pushInput
2198 | | |   minReads=0
2199 | | |   mayRaise=[ExceptionFailure]
2200 | | |   freeRegs=[reg]
2201 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
2202 | | |                                                                j_1
2203 | | |                                                                _) -> i_0 GHC.Classes.== j_1)
2204 | | |   minReads=0
2205 | | |   mayRaise=[ExceptionFailure]
2206 | | |   freeRegs=[reg]
2207 | | | choicesBranch
2208 | | |   minReads=0
2209 | | |   mayRaise=[ExceptionFailure]
2210 | | |   freeRegs=[reg]
2211 | | | | <branch (\x_0 -> x_0)>
2212 | | | | | readRegister reg
2213 | | | | |   minReads=2
2214 | | | | |   mayRaise=[ExceptionFailure]
2215 | | | | |   freeRegs=[reg]
2216 | | | | | call name
2217 | | | | |   minReads=2
2218 | | | | |   mayRaise=[ExceptionFailure]
2219 | | | | |   freeRegs=[]
2220 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2221 | | | | |   minReads=2
2222 | | | | |   mayRaise=[ExceptionFailure]
2223 | | | | |   freeRegs=[]
2224 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2225 | | | | |   minReads=2
2226 | | | | |   mayRaise=[ExceptionFailure]
2227 | | | | |   freeRegs=[]
2228 | | | | | call name
2229 | | | | |   minReads=2
2230 | | | | |   mayRaise=[ExceptionFailure]
2231 | | | | |   freeRegs=[]
2232 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2233 | | | | |   minReads=2
2234 | | | | |   mayRaise=[ExceptionFailure]
2235 | | | | |   freeRegs=[]
2236 | | | | | comment "satisfy"
2237 | | | | |   minReads=2
2238 | | | | |   mayRaise=[ExceptionFailure]
2239 | | | | |   freeRegs=[]
2240 | | | | | read ((GHC.Classes.==) '}')
2241 | | | | |   minReads=2
2242 | | | | |   mayRaise=[ExceptionFailure]
2243 | | | | |   freeRegs=[]
2244 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2245 | | | | |   minReads=1
2246 | | | | |   mayRaise=[ExceptionFailure]
2247 | | | | |   freeRegs=[]
2248 | | | | | call name
2249 | | | | |   minReads=1
2250 | | | | |   mayRaise=[ExceptionFailure]
2251 | | | | |   freeRegs=[]
2252 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2253 | | | | |   minReads=0
2254 | | | | |   mayRaise=[]
2255 | | | | |   freeRegs=[]
2256 | | | | | ret
2257 | | | | |   minReads=0
2258 | | | | |   mayRaise=[]
2259 | | | | |   freeRegs=[]
2260 | | | | <default>
2261 | | | | | fail []
2262 | | | | |   minReads=0
2263 | | | | |   mayRaise=[ExceptionFailure]
2264 | | | | |   freeRegs=[]
2265 let name
2266   minReads=3
2267   mayRaise=[ExceptionFailure]
2268   freeRegs=[]
2269 | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.())
2270 |   minReads=3
2271 |   mayRaise=[ExceptionFailure]
2272 |   freeRegs=[]
2273 | comment "satisfy"
2274 |   minReads=3
2275 |   mayRaise=[ExceptionFailure]
2276 |   freeRegs=[]
2277 | read ((GHC.Classes.==) '[')
2278 |   minReads=3
2279 |   mayRaise=[ExceptionFailure]
2280 |   freeRegs=[]
2281 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2282 |   minReads=2
2283 |   mayRaise=[ExceptionFailure]
2284 |   freeRegs=[]
2285 | call name
2286 |   minReads=2
2287 |   mayRaise=[ExceptionFailure]
2288 |   freeRegs=[]
2289 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2290 |   minReads=1
2291 |   mayRaise=[ExceptionFailure]
2292 |   freeRegs=[]
2293 | call name
2294 |   minReads=1
2295 |   mayRaise=[ExceptionFailure]
2296 |   freeRegs=[]
2297 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2298 |   minReads=0
2299 |   mayRaise=[ExceptionFailure]
2300 |   freeRegs=[]
2301 | pushValue (\x_0 -> x_0)
2302 |   minReads=0
2303 |   mayRaise=[ExceptionFailure]
2304 |   freeRegs=[]
2305 | newRegister reg
2306 |   minReads=0
2307 |   mayRaise=[ExceptionFailure]
2308 |   freeRegs=[]
2309 | iter loop
2310 |   minReads=0
2311 |   mayRaise=[ExceptionFailure]
2312 |   freeRegs=[reg]
2313 | | <ok>
2314 | | | pushValue (\x_0 -> \x_1 -> x_1)
2315 | | |   minReads=1
2316 | | |   mayRaise=[ExceptionFailure]
2317 | | |   freeRegs=[reg]
2318 | | | call name
2319 | | |   minReads=1
2320 | | |   mayRaise=[ExceptionFailure]
2321 | | |   freeRegs=[reg]
2322 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2323 | | |   minReads=0
2324 | | |   mayRaise=[]
2325 | | |   freeRegs=[reg]
2326 | | | readRegister reg
2327 | | |   minReads=0
2328 | | |   mayRaise=[]
2329 | | |   freeRegs=[reg]
2330 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2331 | | |   minReads=0
2332 | | |   mayRaise=[]
2333 | | |   freeRegs=[reg]
2334 | | | writeRegister reg
2335 | | |   minReads=0
2336 | | |   mayRaise=[]
2337 | | |   freeRegs=[reg]
2338 | | | jump loop
2339 | | |   minReads=0
2340 | | |   mayRaise=[]
2341 | | |   freeRegs=[]
2342 | | <ko>
2343 | | | pushInput
2344 | | |   minReads=0
2345 | | |   mayRaise=[ExceptionFailure]
2346 | | |   freeRegs=[reg]
2347 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
2348 | | |                                                                j_1
2349 | | |                                                                _) -> i_0 GHC.Classes.== j_1)
2350 | | |   minReads=0
2351 | | |   mayRaise=[ExceptionFailure]
2352 | | |   freeRegs=[reg]
2353 | | | choicesBranch
2354 | | |   minReads=0
2355 | | |   mayRaise=[ExceptionFailure]
2356 | | |   freeRegs=[reg]
2357 | | | | <branch (\x_0 -> x_0)>
2358 | | | | | readRegister reg
2359 | | | | |   minReads=2
2360 | | | | |   mayRaise=[ExceptionFailure]
2361 | | | | |   freeRegs=[reg]
2362 | | | | | pushValue GHC.Tuple.()
2363 | | | | |   minReads=2
2364 | | | | |   mayRaise=[ExceptionFailure]
2365 | | | | |   freeRegs=[]
2366 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2367 | | | | |   minReads=2
2368 | | | | |   mayRaise=[ExceptionFailure]
2369 | | | | |   freeRegs=[]
2370 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2371 | | | | |   minReads=2
2372 | | | | |   mayRaise=[ExceptionFailure]
2373 | | | | |   freeRegs=[]
2374 | | | | | comment "satisfy"
2375 | | | | |   minReads=2
2376 | | | | |   mayRaise=[ExceptionFailure]
2377 | | | | |   freeRegs=[]
2378 | | | | | read ((GHC.Classes.==) ']')
2379 | | | | |   minReads=2
2380 | | | | |   mayRaise=[ExceptionFailure]
2381 | | | | |   freeRegs=[]
2382 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2383 | | | | |   minReads=1
2384 | | | | |   mayRaise=[ExceptionFailure]
2385 | | | | |   freeRegs=[]
2386 | | | | | call name
2387 | | | | |   minReads=1
2388 | | | | |   mayRaise=[ExceptionFailure]
2389 | | | | |   freeRegs=[]
2390 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2391 | | | | |   minReads=0
2392 | | | | |   mayRaise=[]
2393 | | | | |   freeRegs=[]
2394 | | | | | ret
2395 | | | | |   minReads=0
2396 | | | | |   mayRaise=[]
2397 | | | | |   freeRegs=[]
2398 | | | | <default>
2399 | | | | | fail []
2400 | | | | |   minReads=0
2401 | | | | |   mayRaise=[ExceptionFailure]
2402 | | | | |   freeRegs=[]
2403 pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Show.show x_2)
2404   minReads=1
2405   mayRaise=[ExceptionFailure]
2406   freeRegs=[]
2407 call name
2408   minReads=1
2409   mayRaise=[ExceptionFailure]
2410   freeRegs=[]
2411 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2412   minReads=0
2413   mayRaise=[ExceptionFailure]
2414   freeRegs=[]
2415 pushValue (\x_0 -> x_0)
2416   minReads=0
2417   mayRaise=[ExceptionFailure]
2418   freeRegs=[]
2419 newRegister reg
2420   minReads=0
2421   mayRaise=[ExceptionFailure]
2422   freeRegs=[]
2423 iter loop
2424   minReads=0
2425   mayRaise=[ExceptionFailure]
2426   freeRegs=[reg]
2427 | <ok>
2428 | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> x_8)
2429 | |   minReads=0
2430 | |   mayRaise=[ExceptionFailure]
2431 | |   freeRegs=[reg]
2432 | | catch ExceptionFailure
2433 | |   minReads=0
2434 | |   mayRaise=[ExceptionFailure]
2435 | |   freeRegs=[reg]
2436 | | | <ok>
2437 | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[]))))))))
2438 | | | |   minReads=10
2439 | | | |   mayRaise=[ExceptionFailure]
2440 | | | |   freeRegs=[reg]
2441 | | | | comment "satisfy"
2442 | | | |   minReads=10
2443 | | | |   mayRaise=[ExceptionFailure]
2444 | | | |   freeRegs=[reg]
2445 | | | | read ((GHC.Classes.==) 'f')
2446 | | | |   minReads=10
2447 | | | |   mayRaise=[ExceptionFailure]
2448 | | | |   freeRegs=[reg]
2449 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2450 | | | |   minReads=9
2451 | | | |   mayRaise=[ExceptionFailure]
2452 | | | |   freeRegs=[reg]
2453 | | | | comment "satisfy"
2454 | | | |   minReads=9
2455 | | | |   mayRaise=[ExceptionFailure]
2456 | | | |   freeRegs=[reg]
2457 | | | | read ((GHC.Classes.==) 'u')
2458 | | | |   minReads=9
2459 | | | |   mayRaise=[ExceptionFailure]
2460 | | | |   freeRegs=[reg]
2461 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2462 | | | |   minReads=8
2463 | | | |   mayRaise=[ExceptionFailure]
2464 | | | |   freeRegs=[reg]
2465 | | | | comment "satisfy"
2466 | | | |   minReads=8
2467 | | | |   mayRaise=[ExceptionFailure]
2468 | | | |   freeRegs=[reg]
2469 | | | | read ((GHC.Classes.==) 'n')
2470 | | | |   minReads=8
2471 | | | |   mayRaise=[ExceptionFailure]
2472 | | | |   freeRegs=[reg]
2473 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2474 | | | |   minReads=7
2475 | | | |   mayRaise=[ExceptionFailure]
2476 | | | |   freeRegs=[reg]
2477 | | | | comment "satisfy"
2478 | | | |   minReads=7
2479 | | | |   mayRaise=[ExceptionFailure]
2480 | | | |   freeRegs=[reg]
2481 | | | | read ((GHC.Classes.==) 'c')
2482 | | | |   minReads=7
2483 | | | |   mayRaise=[ExceptionFailure]
2484 | | | |   freeRegs=[reg]
2485 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2486 | | | |   minReads=6
2487 | | | |   mayRaise=[ExceptionFailure]
2488 | | | |   freeRegs=[reg]
2489 | | | | comment "satisfy"
2490 | | | |   minReads=6
2491 | | | |   mayRaise=[ExceptionFailure]
2492 | | | |   freeRegs=[reg]
2493 | | | | read ((GHC.Classes.==) 't')
2494 | | | |   minReads=6
2495 | | | |   mayRaise=[ExceptionFailure]
2496 | | | |   freeRegs=[reg]
2497 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2498 | | | |   minReads=5
2499 | | | |   mayRaise=[ExceptionFailure]
2500 | | | |   freeRegs=[reg]
2501 | | | | comment "satisfy"
2502 | | | |   minReads=5
2503 | | | |   mayRaise=[ExceptionFailure]
2504 | | | |   freeRegs=[reg]
2505 | | | | read ((GHC.Classes.==) 'i')
2506 | | | |   minReads=5
2507 | | | |   mayRaise=[ExceptionFailure]
2508 | | | |   freeRegs=[reg]
2509 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2510 | | | |   minReads=4
2511 | | | |   mayRaise=[ExceptionFailure]
2512 | | | |   freeRegs=[reg]
2513 | | | | comment "satisfy"
2514 | | | |   minReads=4
2515 | | | |   mayRaise=[ExceptionFailure]
2516 | | | |   freeRegs=[reg]
2517 | | | | read ((GHC.Classes.==) 'o')
2518 | | | |   minReads=4
2519 | | | |   mayRaise=[ExceptionFailure]
2520 | | | |   freeRegs=[reg]
2521 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2522 | | | |   minReads=3
2523 | | | |   mayRaise=[ExceptionFailure]
2524 | | | |   freeRegs=[reg]
2525 | | | | comment "satisfy"
2526 | | | |   minReads=3
2527 | | | |   mayRaise=[ExceptionFailure]
2528 | | | |   freeRegs=[reg]
2529 | | | | read ((GHC.Classes.==) 'n')
2530 | | | |   minReads=3
2531 | | | |   mayRaise=[ExceptionFailure]
2532 | | | |   freeRegs=[reg]
2533 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2534 | | | |   minReads=2
2535 | | | |   mayRaise=[ExceptionFailure]
2536 | | | |   freeRegs=[reg]
2537 | | | | commit ExceptionFailure
2538 | | | |   minReads=2
2539 | | | |   mayRaise=[ExceptionFailure]
2540 | | | |   freeRegs=[reg]
2541 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2542 | | | |   minReads=2
2543 | | | |   mayRaise=[ExceptionFailure]
2544 | | | |   freeRegs=[reg]
2545 | | | | call name
2546 | | | |   minReads=2
2547 | | | |   mayRaise=[ExceptionFailure]
2548 | | | |   freeRegs=[reg]
2549 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2550 | | | |   minReads=2
2551 | | | |   mayRaise=[ExceptionFailure]
2552 | | | |   freeRegs=[reg]
2553 | | | | call name
2554 | | | |   minReads=2
2555 | | | |   mayRaise=[ExceptionFailure]
2556 | | | |   freeRegs=[reg]
2557 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2558 | | | |   minReads=2
2559 | | | |   mayRaise=[ExceptionFailure]
2560 | | | |   freeRegs=[reg]
2561 | | | | call name
2562 | | | |   minReads=2
2563 | | | |   mayRaise=[ExceptionFailure]
2564 | | | |   freeRegs=[reg]
2565 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2566 | | | |   minReads=0
2567 | | | |   mayRaise=[ExceptionFailure]
2568 | | | |   freeRegs=[reg]
2569 | | | | call name
2570 | | | |   minReads=0
2571 | | | |   mayRaise=[ExceptionFailure]
2572 | | | |   freeRegs=[reg]
2573 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2574 | | | |   minReads=0
2575 | | | |   mayRaise=[ExceptionFailure]
2576 | | | |   freeRegs=[reg]
2577 | | | | join join
2578 | | | |   minReads=4
2579 | | | |   mayRaise=[ExceptionFailure]
2580 | | | |   freeRegs=[reg]
2581 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2582 | | | | |   minReads=4
2583 | | | | |   mayRaise=[ExceptionFailure]
2584 | | | | |   freeRegs=[reg]
2585 | | | | | call name
2586 | | | | |   minReads=4
2587 | | | | |   mayRaise=[ExceptionFailure]
2588 | | | | |   freeRegs=[reg]
2589 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2590 | | | | |   minReads=2
2591 | | | | |   mayRaise=[ExceptionFailure]
2592 | | | | |   freeRegs=[reg]
2593 | | | | | call name
2594 | | | | |   minReads=2
2595 | | | | |   mayRaise=[ExceptionFailure]
2596 | | | | |   freeRegs=[reg]
2597 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2598 | | | | |   minReads=0
2599 | | | | |   mayRaise=[]
2600 | | | | |   freeRegs=[reg]
2601 | | | | | readRegister reg
2602 | | | | |   minReads=0
2603 | | | | |   mayRaise=[]
2604 | | | | |   freeRegs=[reg]
2605 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2606 | | | | |   minReads=0
2607 | | | | |   mayRaise=[]
2608 | | | | |   freeRegs=[reg]
2609 | | | | | writeRegister reg
2610 | | | | |   minReads=0
2611 | | | | |   mayRaise=[]
2612 | | | | |   freeRegs=[reg]
2613 | | | | | jump loop
2614 | | | | |   minReads=0
2615 | | | | |   mayRaise=[]
2616 | | | | |   freeRegs=[]
2617 | | | | catch ExceptionFailure
2618 | | | |   minReads=0
2619 | | | |   mayRaise=[ExceptionFailure]
2620 | | | |   freeRegs=[reg]
2621 | | | | | <ok>
2622 | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
2623 | | | | | |   minReads=6
2624 | | | | | |   mayRaise=[ExceptionFailure]
2625 | | | | | |   freeRegs=[reg]
2626 | | | | | | comment "satisfy"
2627 | | | | | |   minReads=6
2628 | | | | | |   mayRaise=[ExceptionFailure]
2629 | | | | | |   freeRegs=[reg]
2630 | | | | | | read ((GHC.Classes.==) ':')
2631 | | | | | |   minReads=6
2632 | | | | | |   mayRaise=[ExceptionFailure]
2633 | | | | | |   freeRegs=[reg]
2634 | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2635 | | | | | |   minReads=5
2636 | | | | | |   mayRaise=[ExceptionFailure]
2637 | | | | | |   freeRegs=[reg]
2638 | | | | | | call name
2639 | | | | | |   minReads=5
2640 | | | | | |   mayRaise=[ExceptionFailure]
2641 | | | | | |   freeRegs=[reg]
2642 | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2643 | | | | | |   minReads=4
2644 | | | | | |   mayRaise=[ExceptionFailure]
2645 | | | | | |   freeRegs=[reg]
2646 | | | | | | call name
2647 | | | | | |   minReads=4
2648 | | | | | |   mayRaise=[ExceptionFailure]
2649 | | | | | |   freeRegs=[reg]
2650 | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2651 | | | | | |   minReads=4
2652 | | | | | |   mayRaise=[ExceptionFailure]
2653 | | | | | |   freeRegs=[reg]
2654 | | | | | | commit ExceptionFailure
2655 | | | | | |   minReads=4
2656 | | | | | |   mayRaise=[ExceptionFailure]
2657 | | | | | |   freeRegs=[reg]
2658 | | | | | | refJoin join
2659 | | | | | |   minReads=4
2660 | | | | | |   mayRaise=[ExceptionFailure]
2661 | | | | | |   freeRegs=[reg]
2662 | | | | | <ko>
2663 | | | | | | pushInput
2664 | | | | | |   minReads=0
2665 | | | | | |   mayRaise=[ExceptionFailure]
2666 | | | | | |   freeRegs=[reg]
2667 | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
2668 | | | | | |                                                                j_1
2669 | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
2670 | | | | | |   minReads=0
2671 | | | | | |   mayRaise=[ExceptionFailure]
2672 | | | | | |   freeRegs=[reg]
2673 | | | | | | choicesBranch
2674 | | | | | |   minReads=0
2675 | | | | | |   mayRaise=[ExceptionFailure]
2676 | | | | | |   freeRegs=[reg]
2677 | | | | | | | <branch (\x_0 -> x_0)>
2678 | | | | | | | | call name
2679 | | | | | | | |   minReads=4
2680 | | | | | | | |   mayRaise=[ExceptionFailure]
2681 | | | | | | | |   freeRegs=[reg]
2682 | | | | | | | | refJoin join
2683 | | | | | | | |   minReads=4
2684 | | | | | | | |   mayRaise=[ExceptionFailure]
2685 | | | | | | | |   freeRegs=[reg]
2686 | | | | | | | <default>
2687 | | | | | | | | fail []
2688 | | | | | | | |   minReads=0
2689 | | | | | | | |   mayRaise=[ExceptionFailure]
2690 | | | | | | | |   freeRegs=[]
2691 | | | <ko>
2692 | | | | loadInput
2693 | | | |   minReads=0
2694 | | | |   mayRaise=[ExceptionFailure]
2695 | | | |   freeRegs=[]
2696 | | | | fail []
2697 | | | |   minReads=0
2698 | | | |   mayRaise=[ExceptionFailure]
2699 | | | |   freeRegs=[]
2700 | <ko>
2701 | | pushInput
2702 | |   minReads=0
2703 | |   mayRaise=[ExceptionFailure]
2704 | |   freeRegs=[reg]
2705 | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
2706 | |                                                                j_1
2707 | |                                                                _) -> i_0 GHC.Classes.== j_1)
2708 | |   minReads=0
2709 | |   mayRaise=[ExceptionFailure]
2710 | |   freeRegs=[reg]
2711 | | choicesBranch
2712 | |   minReads=0
2713 | |   mayRaise=[ExceptionFailure]
2714 | |   freeRegs=[reg]
2715 | | | <branch (\x_0 -> x_0)>
2716 | | | | readRegister reg
2717 | | | |   minReads=0
2718 | | | |   mayRaise=[ExceptionFailure]
2719 | | | |   freeRegs=[reg]
2720 | | | | call name
2721 | | | |   minReads=0
2722 | | | |   mayRaise=[ExceptionFailure]
2723 | | | |   freeRegs=[]
2724 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2725 | | | |   minReads=0
2726 | | | |   mayRaise=[ExceptionFailure]
2727 | | | |   freeRegs=[]
2728 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2729 | | | |   minReads=0
2730 | | | |   mayRaise=[ExceptionFailure]
2731 | | | |   freeRegs=[]
2732 | | | | call name
2733 | | | |   minReads=0
2734 | | | |   mayRaise=[ExceptionFailure]
2735 | | | |   freeRegs=[]
2736 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2737 | | | |   minReads=0
2738 | | | |   mayRaise=[ExceptionFailure]
2739 | | | |   freeRegs=[]
2740 | | | | join join
2741 | | | |   minReads=0
2742 | | | |   mayRaise=[]
2743 | | | |   freeRegs=[]
2744 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
2745 | | | | |   minReads=0
2746 | | | | |   mayRaise=[]
2747 | | | | |   freeRegs=[]
2748 | | | | | ret
2749 | | | | |   minReads=0
2750 | | | | |   mayRaise=[]
2751 | | | | |   freeRegs=[]
2752 | | | | catch ExceptionFailure
2753 | | | |   minReads=0
2754 | | | |   mayRaise=[ExceptionFailure]
2755 | | | |   freeRegs=[]
2756 | | | | | <ok>
2757 | | | | | | comment "negLook"
2758 | | | | | |   minReads=0
2759 | | | | | |   mayRaise=[]
2760 | | | | | |   freeRegs=[]
2761 | | | | | | catch ExceptionFailure
2762 | | | | | |   minReads=0
2763 | | | | | |   mayRaise=[]
2764 | | | | | |   freeRegs=[]
2765 | | | | | | | <ok>
2766 | | | | | | | | comment "negLook.ahead"
2767 | | | | | | | |   minReads=1
2768 | | | | | | | |   mayRaise=[ExceptionFailure]
2769 | | | | | | | |   freeRegs=[]
2770 | | | | | | | | pushInput
2771 | | | | | | | |   minReads=1
2772 | | | | | | | |   mayRaise=[ExceptionFailure]
2773 | | | | | | | |   freeRegs=[]
2774 | | | | | | | | comment "satisfy"
2775 | | | | | | | |   minReads=1
2776 | | | | | | | |   mayRaise=[ExceptionFailure]
2777 | | | | | | | |   freeRegs=[]
2778 | | | | | | | | read (\x_0 -> GHC.Types.True)
2779 | | | | | | | |   minReads=1
2780 | | | | | | | |   mayRaise=[ExceptionFailure]
2781 | | | | | | | |   freeRegs=[]
2782 | | | | | | | | popValue
2783 | | | | | | | |   minReads=0
2784 | | | | | | | |   mayRaise=[ExceptionFailure]
2785 | | | | | | | |   freeRegs=[]
2786 | | | | | | | | commit ExceptionFailure
2787 | | | | | | | |   minReads=0
2788 | | | | | | | |   mayRaise=[ExceptionFailure]
2789 | | | | | | | |   freeRegs=[]
2790 | | | | | | | | loadInput
2791 | | | | | | | |   minReads=0
2792 | | | | | | | |   mayRaise=[ExceptionFailure]
2793 | | | | | | | |   freeRegs=[]
2794 | | | | | | | | fail []
2795 | | | | | | | |   minReads=0
2796 | | | | | | | |   mayRaise=[ExceptionFailure]
2797 | | | | | | | |   freeRegs=[]
2798 | | | | | | | <ko>
2799 | | | | | | | | comment "negLook.reset"
2800 | | | | | | | |   minReads=0
2801 | | | | | | | |   mayRaise=[]
2802 | | | | | | | |   freeRegs=[]
2803 | | | | | | | | loadInput
2804 | | | | | | | |   minReads=0
2805 | | | | | | | |   mayRaise=[]
2806 | | | | | | | |   freeRegs=[]
2807 | | | | | | | | pushValue GHC.Tuple.()
2808 | | | | | | | |   minReads=0
2809 | | | | | | | |   mayRaise=[]
2810 | | | | | | | |   freeRegs=[]
2811 | | | | | | | | commit ExceptionFailure
2812 | | | | | | | |   minReads=0
2813 | | | | | | | |   mayRaise=[]
2814 | | | | | | | |   freeRegs=[]
2815 | | | | | | | | refJoin join
2816 | | | | | | | |   minReads=0
2817 | | | | | | | |   mayRaise=[]
2818 | | | | | | | |   freeRegs=[]
2819 | | | | | <ko>
2820 | | | | | | pushInput
2821 | | | | | |   minReads=0
2822 | | | | | |   mayRaise=[ExceptionFailure]
2823 | | | | | |   freeRegs=[]
2824 | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
2825 | | | | | |                                                                j_1
2826 | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
2827 | | | | | |   minReads=0
2828 | | | | | |   mayRaise=[ExceptionFailure]
2829 | | | | | |   freeRegs=[]
2830 | | | | | | choicesBranch
2831 | | | | | |   minReads=0
2832 | | | | | |   mayRaise=[ExceptionFailure]
2833 | | | | | |   freeRegs=[]
2834 | | | | | | | <branch (\x_0 -> x_0)>
2835 | | | | | | | | comment "eof.fail"
2836 | | | | | | | |   minReads=0
2837 | | | | | | | |   mayRaise=[ExceptionFailure]
2838 | | | | | | | |   freeRegs=[]
2839 | | | | | | | | fail [FailureEnd]
2840 | | | | | | | |   minReads=0
2841 | | | | | | | |   mayRaise=[ExceptionFailure]
2842 | | | | | | | |   freeRegs=[]
2843 | | | | | | | <default>
2844 | | | | | | | | fail []
2845 | | | | | | | |   minReads=0
2846 | | | | | | | |   mayRaise=[ExceptionFailure]
2847 | | | | | | | |   freeRegs=[]
2848 | | | <default>
2849 | | | | fail []
2850 | | | |   minReads=0
2851 | | | |   mayRaise=[ExceptionFailure]
2852 | | | |   freeRegs=[]