comments

[Stephen Weeks]

> You're right that Appel's inliner would not handle this case; 
> flow-directed inlining does which is what I was thinking about.

What does flow directed inlining do and why does it do it?

> I concede your points although I must admit that when I first
> read the example, my initial reaction was to think of other
> standard simplification strategies that would lead to the same
> result.

It's definitely bad that it confused you.  Like I said, I'll add some
commentary.