tests/Golden/Machine/G5.expected.txt

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