From: Mark Wooding Date: Tue, 15 Dec 2015 14:34:33 +0000 (+0000) Subject: doc/concepts.tex: Document changed `and' and `or' combination return values. X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/665a0455e68358f981e1485ed04cd22d31dcf4f1 doc/concepts.tex: Document changed `and' and `or' combination return values. --- diff --git a/doc/concepts.tex b/doc/concepts.tex index 9a77c44..f332be1 100644 --- a/doc/concepts.tex +++ b/doc/concepts.tex @@ -621,14 +621,15 @@ The aggregating method combinations provided are as follows. \item[max] The message must return a scalar type. The applicable primary methods are invoked in turn. The final result is the largest of the individual values. -\item[and] The message must return @|int|. The applicable primary methods - are invoked in turn. If any method returns zero then the final result is - zero and no further methods are invoked. If all of the applicable primary - methods return nonzero, then the final result is a nonzero value. -\item[or] The message must return @|int|. The applicable primary methods are - invoked in turn. If any method returns nonzero then the final result is a - nonzero value and no further methods are invoked. If all of the applicable - primary methods return zero, then the final result is zero. +\item[and] The message must return a scalar type. The applicable primary + methods are invoked in turn. If any method returns zero then the final + result is zero and no further methods are invoked. If all of the + applicable primary methods return nonzero, then the final result is the + result of the last primary method. +\item[or] The message must return a scalar type. The applicable primary + methods are invoked in turn. If any method returns nonzero then the final + result is that nonzero value and no further methods are invoked. If all of + the applicable primary methods return zero, then the final result is zero. \end{description} There is also a @|custom| aggregating method combination, which is described