test/Golden/Machine/boom.dump

   1 push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (u4 u5) u6))))))
   2 name_3:
   3 | push (\u1 -> (\u2 -> u2))
   4 | ret
   5 call name_3
   6 lift (\u1 -> (\u2 -> u1 u2))
   7 name_7:
   8 | name_6:
   9 | | push (\u1 -> (\u2 -> u2))
  10 | | ret
  11 | call name_6
  12 | name_5:
  13 | | push (\u1 -> (\u2 -> u2))
  14 | | call name_7
  15 | | lift (\u1 -> (\u2 -> u1 u2))
  16 | | call name_5
  17 | | lift (\u1 -> (\u2 -> u1 u2))
  18 | | ret
  19 | call name_5
  20 | lift (\u1 -> (\u2 -> u1 u2))
  21 | call name_7
  22 | lift (\u1 -> (\u2 -> u1 u2))
  23 | ret
  24 call name_7
  25 lift (\u1 -> (\u2 -> u1 u2))
  26 name_4:
  27 | push Term
  28 | ret
  29 call name_4
  30 lift (\u1 -> (\u2 -> u1 u2))
  31 call name_3
  32 lift (\u1 -> (\u2 -> u1 u2))
  33 name_2:
  34 | call name_6
  35 | name_1:
  36 | | push (\u1 -> (\u2 -> u2))
  37 | | call name_2
  38 | | lift (\u1 -> (\u2 -> u1 u2))
  39 | | call name_1
  40 | | lift (\u1 -> (\u2 -> u1 u2))
  41 | | ret
  42 | call name_1
  43 | lift (\u1 -> (\u2 -> u1 u2))
  44 | call name_2
  45 | lift (\u1 -> (\u2 -> u1 u2))
  46 | ret
  47 call name_2
  48 lift (\u1 -> (\u2 -> u1 u2))
  49 call name_4
  50 lift (\u1 -> (\u2 -> u1 u2))
  51 ret