test/Golden/Machine/boom.dump

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