test/Golden/Machine/brainfuck.dump

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