> > I think there's a problem. Consider the following program. > > fun f () = ... h () ... g () ... > fun g () = ... h () ... f () ... > fun h () = ... > ... K (f ()) ... > > All calls are tail calls. except for the last call to f, which has continuation K.