test/Golden/Machine/boom.dump

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