test/Golden/Machine/brainfuck.dump

   1 push ((.) ((.) (const id)) . ((.) (const id) . flip ($)))
   2 name_7:
   3 | push ()
   4 | ret
   5 call name_7
   6 lift ($)
   7 name_5:
   8 | catchFail
   9 |   <try>
  10 |   | push ((.) (.))
  11 |   | name_6:
  12 |   | | push (flip const)
  13 |   | | ret
  14 |   | call name_6
  15 |   | lift ($)
  16 |   | read
  17 |   | lift ($)
  18 |   | call name_5
  19 |   | lift ($)
  20 |   | popFail
  21 |   | ret
  22 |   <handler>
  23 |     pushInput
  24 |     lift Pure
  25 |     choices [id]
  26 |       <branch>
  27 |       | push id
  28 |       | ret
  29 |       <default>
  30 |         fail
  31 call name_5
  32 lift ($)
  33 call name_7
  34 lift ($)
  35 name_3:
  36 | push ((flip ($)) Pure)
  37 | name_2:
  38 | | catchFail
  39 | |   <try>
  40 | |   | join_55:
  41 | |   | | call name_7
  42 | |   | | lift ($)
  43 | |   | | name_1:
  44 | |   | | | catchFail
  45 | |   | | |   <try>
  46 | |   | | |   | push ((.) (.))
  47 | |   | | |   | call name_6
  48 | |   | | |   | lift ($)
  49 | |   | | |   | read
  50 | |   | | |   | lift ($)
  51 | |   | | |   | call name_1
  52 | |   | | |   | lift ($)
  53 | |   | | |   | popFail
  54 | |   | | |   | ret
  55 | |   | | |   <handler>
  56 | |   | | |     pushInput
  57 | |   | | |     lift Pure
  58 | |   | | |     choices [id]
  59 | |   | | |       <branch>
  60 | |   | | |       | push id
  61 | |   | | |       | ret
  62 | |   | | |       <default>
  63 | |   | | |         fail
  64 | |   | | call name_1
  65 | |   | | lift ($)
  66 | |   | | call name_7
  67 | |   | | lift ($)
  68 | |   | | call name_2
  69 | |   | | lift ($)
  70 | |   | | popFail
  71 | |   | | ret
  72 | |   | pushInput
  73 | |   | read
  74 | |   | swap
  75 | |   | loadInput
  76 | |   | choices [(== Pure),(== Pure),(== Pure),(== Pure),(== Pure),(== Pure),(== Pure)]
  77 | |   |   <branch>
  78 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
  79 | |   |   | read
  80 | |   |   | lift ($)
  81 | |   |   | refJoin join_55
  82 | |   |   <branch>
  83 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
  84 | |   |   | read
  85 | |   |   | lift ($)
  86 | |   |   | refJoin join_55
  87 | |   |   <branch>
  88 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
  89 | |   |   | read
  90 | |   |   | lift ($)
  91 | |   |   | refJoin join_55
  92 | |   |   <branch>
  93 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
  94 | |   |   | read
  95 | |   |   | lift ($)
  96 | |   |   | refJoin join_55
  97 | |   |   <branch>
  98 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
  99 | |   |   | read
 100 | |   |   | lift ($)
 101 | |   |   | refJoin join_55
 102 | |   |   <branch>
 103 | |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
 104 | |   |   | read
 105 | |   |   | lift ($)
 106 | |   |   | refJoin join_55
 107 | |   |   <branch>
 108 | |   |   | push ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.)))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) cons))))))) . ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((.) (const id) . flip ($))))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) const)))) . ((.) ((.) ((.) ((.) ((flip ($)) (const ']'))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((.) ((.) ((flip ($)) Pure))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const)))))))))))))))))
 109 | |   |   | read
 110 | |   |   | lift ($)
 111 | |   |   | call name_7
 112 | |   |   | lift ($)
 113 | |   |   | name_4:
 114 | |   |   | | catchFail
 115 | |   |   | |   <try>
 116 | |   |   | |   | push ((.) (.))
 117 | |   |   | |   | call name_6
 118 | |   |   | |   | lift ($)
 119 | |   |   | |   | read
 120 | |   |   | |   | lift ($)
 121 | |   |   | |   | call name_4
 122 | |   |   | |   | lift ($)
 123 | |   |   | |   | popFail
 124 | |   |   | |   | ret
 125 | |   |   | |   <handler>
 126 | |   |   | |     pushInput
 127 | |   |   | |     lift Pure
 128 | |   |   | |     choices [id]
 129 | |   |   | |       <branch>
 130 | |   |   | |       | push id
 131 | |   |   | |       | ret
 132 | |   |   | |       <default>
 133 | |   |   | |         fail
 134 | |   |   | call name_4
 135 | |   |   | lift ($)
 136 | |   |   | call name_7
 137 | |   |   | lift ($)
 138 | |   |   | call name_3
 139 | |   |   | lift ($)
 140 | |   |   | read
 141 | |   |   | lift ($)
 142 | |   |   | refJoin join_55
 143 | |   |   <default>
 144 | |   |     fail
 145 | |   <handler>
 146 | |     pushInput
 147 | |     lift Pure
 148 | |     choices [id]
 149 | |       <branch>
 150 | |       | push id
 151 | |       | ret
 152 | |       <default>
 153 | |         fail
 154 | call name_2
 155 | lift ($)
 156 | ret
 157 call name_3
 158 lift ($)
 159 ret