"A Language Based Approach to Unifying Events and Threads"
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!
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