On Fri, 2005-10-21 at 01:22 +0200, Michael Haardt wrote:
I expect that
redirect "a(_at_)nosuchdomain";
redirect "user(_at_)example(_dot_)com";
may well send a message to "user(_at_)example(_dot_)com", despite the first
causing a run-time error, because the action sets up the delivery of
the message, but does not deliver it on its own. But strictly
speaking, this _is_ action reordering. We need to say something about
this topic.
I don't believe this is action reordering. What you're presupposing is
that the message is redirected in an asynchronous manner (as is
reasonable in any modern mail system), but then you're broadly
redefining the out-of-order _results_ as action reordering.
Aaron