W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2008

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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 07 Feb 2008 15:00:07 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JN8ER-0001VQ-KR@wiggum.w3.org> 

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 7 February 2008 15:00:20 GMT