test/Golden/Automaton/brainfuck.dump

   1 push ((.) ((.) (const id)) . ((.) (const id) . flip ($)))
   2 name_3:
   3 | push ()
   4 | ret
   5 call name_3
   6 lift ($)
   7 name_4:
   8 | catchFail
   9 |   <try>
  10 |   | push ((.) (.))
  11 |   | name_5:
  12 |   | | push (flip const)
  13 |   | | ret
  14 |   | call name_5
  15 |   | lift ($)
  16 |   | read
  17 |   | lift ($)
  18 |   | call name_4
  19 |   | lift ($)
  20 |   | popFail
  21 |   | ret
  22 |   <handler>
  23 |     pushInput
  24 |     lift InstrPureSameOffset
  25 |     choices [id]
  26 |       <branch>
  27 |       | push id
  28 |       | ret
  29 |       <default>
  30 |         fail
  31 call name_4
  32 lift ($)
  33 call name_3
  34 lift ($)
  35 name_7:
  36 | push ((flip ($)) Haskell)
  37 | name_1:
  38 | | catchFail
  39 | |   <try>
  40 | |   | pushInput
  41 | |   | read
  42 | |   | swap
  43 | |   | loadInput
  44 | |   | choices [(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell)]
  45 | |   |   <branch>
  46 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
  47 | |   |   | read
  48 | |   |   | lift ($)
  49 | |   |   | call name_3
  50 | |   |   | lift ($)
  51 | |   |   | name_6:
  52 | |   |   | | catchFail
  53 | |   |   | |   <try>
  54 | |   |   | |   | push ((.) (.))
  55 | |   |   | |   | call name_5
  56 | |   |   | |   | lift ($)
  57 | |   |   | |   | read
  58 | |   |   | |   | lift ($)
  59 | |   |   | |   | call name_6
  60 | |   |   | |   | lift ($)
  61 | |   |   | |   | popFail
  62 | |   |   | |   | ret
  63 | |   |   | |   <handler>
  64 | |   |   | |     pushInput
  65 | |   |   | |     lift InstrPureSameOffset
  66 | |   |   | |     choices [id]
  67 | |   |   | |       <branch>
  68 | |   |   | |       | push id
  69 | |   |   | |       | ret
  70 | |   |   | |       <default>
  71 | |   |   | |         fail
  72 | |   |   | call name_6
  73 | |   |   | lift ($)
  74 | |   |   | call name_3
  75 | |   |   | lift ($)
  76 | |   |   | call name_1
  77 | |   |   | lift ($)
  78 | |   |   | popFail
  79 | |   |   | ret
  80 | |   |   <branch>
  81 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
  82 | |   |   | read
  83 | |   |   | lift ($)
  84 | |   |   | call name_3
  85 | |   |   | lift ($)
  86 | |   |   | name_6:
  87 | |   |   | | catchFail
  88 | |   |   | |   <try>
  89 | |   |   | |   | push ((.) (.))
  90 | |   |   | |   | call name_5
  91 | |   |   | |   | lift ($)
  92 | |   |   | |   | read
  93 | |   |   | |   | lift ($)
  94 | |   |   | |   | call name_6
  95 | |   |   | |   | lift ($)
  96 | |   |   | |   | popFail
  97 | |   |   | |   | ret
  98 | |   |   | |   <handler>
  99 | |   |   | |     pushInput
 100 | |   |   | |     lift InstrPureSameOffset
 101 | |   |   | |     choices [id]
 102 | |   |   | |       <branch>
 103 | |   |   | |       | push id
 104 | |   |   | |       | ret
 105 | |   |   | |       <default>
 106 | |   |   | |         fail
 107 | |   |   | call name_6
 108 | |   |   | lift ($)
 109 | |   |   | call name_3
 110 | |   |   | lift ($)
 111 | |   |   | call name_1
 112 | |   |   | lift ($)
 113 | |   |   | popFail
 114 | |   |   | ret
 115 | |   |   <branch>
 116 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 117 | |   |   | read
 118 | |   |   | lift ($)
 119 | |   |   | call name_3
 120 | |   |   | lift ($)
 121 | |   |   | name_6:
 122 | |   |   | | catchFail
 123 | |   |   | |   <try>
 124 | |   |   | |   | push ((.) (.))
 125 | |   |   | |   | call name_5
 126 | |   |   | |   | lift ($)
 127 | |   |   | |   | read
 128 | |   |   | |   | lift ($)
 129 | |   |   | |   | call name_6
 130 | |   |   | |   | lift ($)
 131 | |   |   | |   | popFail
 132 | |   |   | |   | ret
 133 | |   |   | |   <handler>
 134 | |   |   | |     pushInput
 135 | |   |   | |     lift InstrPureSameOffset
 136 | |   |   | |     choices [id]
 137 | |   |   | |       <branch>
 138 | |   |   | |       | push id
 139 | |   |   | |       | ret
 140 | |   |   | |       <default>
 141 | |   |   | |         fail
 142 | |   |   | call name_6
 143 | |   |   | lift ($)
 144 | |   |   | call name_3
 145 | |   |   | lift ($)
 146 | |   |   | call name_1
 147 | |   |   | lift ($)
 148 | |   |   | popFail
 149 | |   |   | ret
 150 | |   |   <branch>
 151 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 152 | |   |   | read
 153 | |   |   | lift ($)
 154 | |   |   | call name_3
 155 | |   |   | lift ($)
 156 | |   |   | name_6:
 157 | |   |   | | catchFail
 158 | |   |   | |   <try>
 159 | |   |   | |   | push ((.) (.))
 160 | |   |   | |   | call name_5
 161 | |   |   | |   | lift ($)
 162 | |   |   | |   | read
 163 | |   |   | |   | lift ($)
 164 | |   |   | |   | call name_6
 165 | |   |   | |   | lift ($)
 166 | |   |   | |   | popFail
 167 | |   |   | |   | ret
 168 | |   |   | |   <handler>
 169 | |   |   | |     pushInput
 170 | |   |   | |     lift InstrPureSameOffset
 171 | |   |   | |     choices [id]
 172 | |   |   | |       <branch>
 173 | |   |   | |       | push id
 174 | |   |   | |       | ret
 175 | |   |   | |       <default>
 176 | |   |   | |         fail
 177 | |   |   | call name_6
 178 | |   |   | lift ($)
 179 | |   |   | call name_3
 180 | |   |   | lift ($)
 181 | |   |   | call name_1
 182 | |   |   | lift ($)
 183 | |   |   | popFail
 184 | |   |   | ret
 185 | |   |   <branch>
 186 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 187 | |   |   | read
 188 | |   |   | lift ($)
 189 | |   |   | call name_3
 190 | |   |   | lift ($)
 191 | |   |   | name_6:
 192 | |   |   | | catchFail
 193 | |   |   | |   <try>
 194 | |   |   | |   | push ((.) (.))
 195 | |   |   | |   | call name_5
 196 | |   |   | |   | lift ($)
 197 | |   |   | |   | read
 198 | |   |   | |   | lift ($)
 199 | |   |   | |   | call name_6
 200 | |   |   | |   | lift ($)
 201 | |   |   | |   | popFail
 202 | |   |   | |   | ret
 203 | |   |   | |   <handler>
 204 | |   |   | |     pushInput
 205 | |   |   | |     lift InstrPureSameOffset
 206 | |   |   | |     choices [id]
 207 | |   |   | |       <branch>
 208 | |   |   | |       | push id
 209 | |   |   | |       | ret
 210 | |   |   | |       <default>
 211 | |   |   | |         fail
 212 | |   |   | call name_6
 213 | |   |   | lift ($)
 214 | |   |   | call name_3
 215 | |   |   | lift ($)
 216 | |   |   | call name_1
 217 | |   |   | lift ($)
 218 | |   |   | popFail
 219 | |   |   | ret
 220 | |   |   <branch>
 221 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 222 | |   |   | read
 223 | |   |   | lift ($)
 224 | |   |   | call name_3
 225 | |   |   | lift ($)
 226 | |   |   | name_6:
 227 | |   |   | | catchFail
 228 | |   |   | |   <try>
 229 | |   |   | |   | push ((.) (.))
 230 | |   |   | |   | call name_5
 231 | |   |   | |   | lift ($)
 232 | |   |   | |   | read
 233 | |   |   | |   | lift ($)
 234 | |   |   | |   | call name_6
 235 | |   |   | |   | lift ($)
 236 | |   |   | |   | popFail
 237 | |   |   | |   | ret
 238 | |   |   | |   <handler>
 239 | |   |   | |     pushInput
 240 | |   |   | |     lift InstrPureSameOffset
 241 | |   |   | |     choices [id]
 242 | |   |   | |       <branch>
 243 | |   |   | |       | push id
 244 | |   |   | |       | ret
 245 | |   |   | |       <default>
 246 | |   |   | |         fail
 247 | |   |   | call name_6
 248 | |   |   | lift ($)
 249 | |   |   | call name_3
 250 | |   |   | lift ($)
 251 | |   |   | call name_1
 252 | |   |   | lift ($)
 253 | |   |   | popFail
 254 | |   |   | ret
 255 | |   |   <branch>
 256 | |   |   | push ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.)))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) cons))))))) . ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((.) (const id) . flip ($))))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) const)))) . ((.) ((.) ((.) ((.) ((flip ($)) (const Haskell))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((.) ((.) ((flip ($)) Haskell))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const)))))))))))))))))
 257 | |   |   | read
 258 | |   |   | lift ($)
 259 | |   |   | call name_3
 260 | |   |   | lift ($)
 261 | |   |   | name_2:
 262 | |   |   | | catchFail
 263 | |   |   | |   <try>
 264 | |   |   | |   | push ((.) (.))
 265 | |   |   | |   | call name_5
 266 | |   |   | |   | lift ($)
 267 | |   |   | |   | read
 268 | |   |   | |   | lift ($)
 269 | |   |   | |   | call name_2
 270 | |   |   | |   | lift ($)
 271 | |   |   | |   | popFail
 272 | |   |   | |   | ret
 273 | |   |   | |   <handler>
 274 | |   |   | |     pushInput
 275 | |   |   | |     lift InstrPureSameOffset
 276 | |   |   | |     choices [id]
 277 | |   |   | |       <branch>
 278 | |   |   | |       | push id
 279 | |   |   | |       | ret
 280 | |   |   | |       <default>
 281 | |   |   | |         fail
 282 | |   |   | call name_2
 283 | |   |   | lift ($)
 284 | |   |   | call name_3
 285 | |   |   | lift ($)
 286 | |   |   | call name_7
 287 | |   |   | lift ($)
 288 | |   |   | read
 289 | |   |   | lift ($)
 290 | |   |   | call name_3
 291 | |   |   | lift ($)
 292 | |   |   | name_6:
 293 | |   |   | | catchFail
 294 | |   |   | |   <try>
 295 | |   |   | |   | push ((.) (.))
 296 | |   |   | |   | call name_5
 297 | |   |   | |   | lift ($)
 298 | |   |   | |   | read
 299 | |   |   | |   | lift ($)
 300 | |   |   | |   | call name_6
 301 | |   |   | |   | lift ($)
 302 | |   |   | |   | popFail
 303 | |   |   | |   | ret
 304 | |   |   | |   <handler>
 305 | |   |   | |     pushInput
 306 | |   |   | |     lift InstrPureSameOffset
 307 | |   |   | |     choices [id]
 308 | |   |   | |       <branch>
 309 | |   |   | |       | push id
 310 | |   |   | |       | ret
 311 | |   |   | |       <default>
 312 | |   |   | |         fail
 313 | |   |   | call name_6
 314 | |   |   | lift ($)
 315 | |   |   | call name_3
 316 | |   |   | lift ($)
 317 | |   |   | call name_1
 318 | |   |   | lift ($)
 319 | |   |   | popFail
 320 | |   |   | ret
 321 | |   |   <default>
 322 | |   |     fail
 323 | |   <handler>
 324 | |     pushInput
 325 | |     lift InstrPureSameOffset
 326 | |     choices [id]
 327 | |       <branch>
 328 | |       | push id
 329 | |       | ret
 330 | |       <default>
 331 | |         fail
 332 | call name_1
 333 | lift ($)
 334 | ret
 335 call name_7
 336 lift ($)
 337 ret