[Bug 29430] [FO31] Resulting type of numeric functions

https://www.w3.org/Bugs/Public/show_bug.cgi?id=29430

--- Comment #2 from Abel Braaksma <abel.braaksma@xs4all.nl> ---
It looks like part of the confusion came from me mixing the sum#1 and sum#2
and/or the sequence-of-one vs the sequence-of-more-than-one as first argument.

I think the current spec says this:

sum#1, if empty seq return xs:integer(0)
sum#1, if seq-of-one return $arg1 unchanged (keep type)
sum#1, if seq-gt-than-one convert result to xs:integer/xs:double etc
sum#2, if empty seq return $arg2 unchanged (keep type)
sum#2, with non-empty $arg1 same as sum#1.

If this is how it is supposed to work then I think that my argument is void. I
thought we both had a different reading of the spec (and add to that some
additional confusion on my end), but this appears not the case.

If that's indeed the case, let's close with no action.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Saturday, 20 February 2016 17:50:45 UTC