"A Language Based Approach to Unifying Events and Threads"

Li, Peng ringer9cs+ghc at gmail.com
Thu Apr 27 18:35:35 EDT 2006

Alas---the variable mx should be f, instead of (return f).  Thanks for
pointing it out!

Best regards,

On 4/27/06, Brian Hulley <brianh at metamilk.com> 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.

More information about the Glasgow-haskell-users mailing list