ietf-mta-filters
[Top] [All Lists]

Re: AD Evaluation Comments: draft-ietf-sieve-vacation-04

2005-10-20 18:04:18

On Fri, 2005-10-21 at 01:22 +0200, Michael Haardt wrote:
While thinking about it: The base spec does not define if anyof and
allof perform shortcut/lazy evaluation.  After all the years, all we can
probably do is saying that depends on the implementation.  It should be
mentioned, because it may cause the same script to behave different on
different implementations.

well, in 3028 tests cannot have side effects, so it isn't possible to
tell.  this restriction has been lifted to allow for the match variables
in variables, and that draft says:

   The interpreter MUST short-circuit tests, ie. not perform more tests
   than necessary to find the result.  Evaluation order MUST be left to
   right.  If a test has two or more list arguments, the implementation
   is free to choose which to iterate over first.

however, the future may bring other extensions which introduce tests
with side effects, so I guess it could be nice to have the above
clarification in the base spec, although conformance is not observable
with the base spec alone.

-- 
Kjetil T.