CWS paper

[John H. Reppy]

Thanks for the detailed description of contification.  I think that what you
are doing is very similar to our "frame phase", which is the last step
before code generation.  The frame phase runs after closure conversion
and combines functions into the same cluster (tail-calls in the same cluster
are treated as gotos).  Since MLton has already CPS converted the program,
contification is sufficient to get the frame sharing that we need, but for
our direct-style IR, we need the LCPS conversion first to enable the frame
sharing later.

Also, the "call-based" analysis that you describe is essentially the same
one that we use to cluster functions in the frame phase.

	- John