return when desugaring to closures

Mark S. Miller erights at
Mon Aug 25 14:09:58 PDT 2008

I wrote:
>> Since generators are shallow, it seems clear that there
>> should be some local cps-style transform of generators into the
>> remainder of the language. However, it would be a relief to know what
>> that cps-style transform actually looks like, and what edge cases it
>> has. Anyone care to post a proposal?

On Thu, Aug 21, 2008 at 11:31 PM, Dave Herman <dherman at> wrote:
> Can't be done without defining the entire language in CPS. Yes, it's
> shallow, but a captured activation can involve any arbitrary combination of
> expressions other than function call.

I don't yet understand this and I need to. Can you take us through a
simple example? Thanks.


More information about the Es-discuss mailing list