test/Golden/Machine/boom.dump

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