CWS paper

[Stephen Weeks]

> I'm confused.  From your note to Reppy it sounds like the two do the same thing.
> Do you have an example in mind that theirs handles and contification doesn't?

Sure.

fun f () =
   let
      fun L () = ...
   in if ...
	 then L(g(13))
      else L(g(14))
   end
fun g () = ...

MLton will not contify g, although it could.  I think Reppy's algorithm will
(remember though that my understanding is based on 3 minutes of second-hand
discussion with Fisher).