The intent of `handle-evt' is that the handling procedure is called in
tail position with respect to `sync'. That tail guarantee is not
consistent with nesting.
We could tail that the handler is called in tail position only if it's
not nested, but we normally use `handle-evt' in cases where tail
b
Thanks, that's clear now.
Another question regarding events: Why is it forbidden to put a handle-evt
inside another handle- or wrap-evt?
I couldn't come up with a situation where this could cause trouble.
Especially as it is allowed to nest handle-evts if i put a guard-evt or a
struct with
2 matches
Mail list logo