Re: More on dispatching by function return type

[Joe Marshall <address@hidden>]

"Kevin S. Millikin" <kmillikin@atcorp.com> writes:

> I think that the idea is that we're presumably familiar with static 
> dispatch on argument types (both Java and C++ do this to resolve method 
> overloading).  CPSing the program shifts the return type into argument 
> position.

Not quite.  If I have code like this:

   int result = foo (x, y);

I'm not moving `int' to the parameter list, but rather `int->...' which
is a different beast altogether.