test/Golden/Machine/G13.expected.txt

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