test/Golden/Automaton/brainfuck.dump

   1 push (const id)
   2 let_3:
   3 | push ((flip ($)) () . (const id . (flip ($)) ()))
   4 | let_2:
   5 | | catch
   6 | |   <try>
   7 | |   | push ((.) . ((.) ((flip ($)) id) . const) id)
   8 | |   | read
   9 | |   | lift ($)
  10 | |   | call let_2
  11 | |   | lift ($)
  12 | |   | commit
  13 | |   | ret
  14 | |   <handler>
  15 | |     tell
  16 | |     lift InstrPureSameOffset
  17 | |     choices [id]
  18 | |       <branch>
  19 | |       | push id
  20 | |       | ret
  21 | |       <default>
  22 | |         fail
  23 | call let_2
  24 | lift ($)
  25 | ret
  26 call let_3
  27 lift ($)
  28 let_4:
  29 | push ((flip ($)) Haskell)
  30 | let_1:
  31 | | catch
  32 | |   <try>
  33 | |   | tell
  34 | |   | read
  35 | |   | swap
  36 | |   | seek
  37 | |   | choices [(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell)]
  38 | |   |   <branch>
  39 | |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
  40 | |   |   | read
  41 | |   |   | lift ($)
  42 | |   |   | call let_3
  43 | |   |   | lift ($)
  44 | |   |   | call let_1
  45 | |   |   | lift ($)
  46 | |   |   | commit
  47 | |   |   | ret
  48 | |   |   <branch>
  49 | |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
  50 | |   |   | read
  51 | |   |   | lift ($)
  52 | |   |   | call let_3
  53 | |   |   | lift ($)
  54 | |   |   | call let_1
  55 | |   |   | lift ($)
  56 | |   |   | commit
  57 | |   |   | ret
  58 | |   |   <branch>
  59 | |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
  60 | |   |   | read
  61 | |   |   | lift ($)
  62 | |   |   | call let_3
  63 | |   |   | lift ($)
  64 | |   |   | call let_1
  65 | |   |   | lift ($)
  66 | |   |   | commit
  67 | |   |   | ret
  68 | |   |   <branch>
  69 | |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
  70 | |   |   | read
  71 | |   |   | lift ($)
  72 | |   |   | call let_3
  73 | |   |   | lift ($)
  74 | |   |   | call let_1
  75 | |   |   | lift ($)
  76 | |   |   | commit
  77 | |   |   | ret
  78 | |   |   <branch>
  79 | |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
  80 | |   |   | read
  81 | |   |   | lift ($)
  82 | |   |   | call let_3
  83 | |   |   | lift ($)
  84 | |   |   | call let_1
  85 | |   |   | lift ($)
  86 | |   |   | commit
  87 | |   |   | ret
  88 | |   |   <branch>
  89 | |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
  90 | |   |   | read
  91 | |   |   | lift ($)
  92 | |   |   | call let_3
  93 | |   |   | lift ($)
  94 | |   |   | call let_1
  95 | |   |   | lift ($)
  96 | |   |   | commit
  97 | |   |   | ret
  98 | |   |   <branch>
  99 | |   |   | push ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) cons))) . ((.) ((.) ((.) const)) . ((.) ((.) ((flip ($)) (const Haskell))) . ((.) ((.) (.)) . ((.) ((.) const) . ((.) ((flip ($)) Haskell) . ((.) (.) . ((.) (const id) . const)))))))))
 100 | |   |   | read
 101 | |   |   | lift ($)
 102 | |   |   | call let_3
 103 | |   |   | lift ($)
 104 | |   |   | call let_4
 105 | |   |   | lift ($)
 106 | |   |   | read
 107 | |   |   | lift ($)
 108 | |   |   | call let_3
 109 | |   |   | lift ($)
 110 | |   |   | call let_1
 111 | |   |   | lift ($)
 112 | |   |   | commit
 113 | |   |   | ret
 114 | |   |   <default>
 115 | |   |     fail
 116 | |   <handler>
 117 | |     tell
 118 | |     lift InstrPureSameOffset
 119 | |     choices [id]
 120 | |       <branch>
 121 | |       | push id
 122 | |       | ret
 123 | |       <default>
 124 | |         fail
 125 | call let_1
 126 | lift ($)
 127 | ret
 128 call let_4
 129 lift ($)
 130 ret