[Bug 5459] [FS] Static type analysis for the fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5459





--- Comment #18 from Michael Kay <mike@saxonica.com>  2008-07-24 18:52:59 ---
>> It make more sense
>> for the unary version of fn:sum to return empty sequence.

> You'd have to raise that as an issue against the F+O spec.

Please don't. This was considered during the design phase and rejected. It
would be horribly incompatible with XPath 1.0, and a horrible usability trap
for the vast majority of users of XPath 2.0 who (a) normally apply the sum()
function to numbers, (b) regard it as obvious that the sum of an empty set of
numbers is zero, and (c) don't actually test their stylesheets against a large
set of input documents, so would not spot this problem until they go into
production.

(I think we could do better by allowing a processor to return zero in a
different numeric type - or perhaps even a zero-length duration - if it is able
to do static inferencing on the argument type, but that's a different
question).


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 24 July 2008 18:53:34 UTC