Re: "A Language Based Approach to Unifying Events and Threads"

Alas---the variable mx should be f, instead of (return f). Thanks for pointing it out! Best regards, Peng On 4/27/06, Brian Hulley wrote:

One little point. I think that the definition of sys_fork in figure 10, page 7, which reads:

sys_fork f = M(\c->SYS_FORK (build_trace mx) (c ())

should instead be:

sys_fork f = M(\c->SYS_FORK (build_trace (return f)) (c ())

since there is no variable 'mx' in scope as far as I can see.

Thanks again, Brian.