contification

Stephen Weeks MLton@sourcelight.com
Wed, 24 Oct 2001 14:20:30 -0700


> I would still like to keep explicit handler fields in non-tail
> calls.

Sure.  The Push'es and Pop's are redundant (although we might check
them).  They are only used to provide hints to the backend pass that
must decide how and when to install handlers.