[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 #1 from oliver@cbcl.co.uk  2008-02-07 15:00 -------
A similar flaw exists in the type checking rules for fn:min, fn:max, fn:avg and
fn:sum as defined in 7.2.10 of formal semantics.

If for example fn:min is applied to a sequence of values typed numeric, then
the static type is inferred by these rules to be xs:double, and not xs:numeric.

Received on Thursday, 7 February 2008 15:00:19 UTC