13:50:16beachSome referee complained that our paper only discusses the TECHNIQUE for inlining, not the strategy for when inlining should be applied. He basically said that "inlining is just β-reduction, so it IS trivial. So why is this paper only about that?"
13:50:47beachAside from β-reduction being incorrect, it is a strange thing to say.
13:51:58beachSure, inlining is fairly trivial in a purely functional language, but when you start having side effects, it becomes a bit more delicate.
13:52:43beachI added the following example: (defun f (x y) (setf x y)) (defun g (a) (f a 3)).
13:53:16beachIf the technique from functional programming is used, you get (defun g (a) (setf a 3))