This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 5601 - [FS] Error in C.2 Mapping of Overloaded Internal Functions
Summary: [FS] Error in C.2 Mapping of Overloaded Internal Functions
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Recommendation
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Michael Dyck
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-04-01 16:13 UTC by Tim Mills
Modified: 2008-08-17 05:38 UTC (History)
0 users

See Also:

Attachments

Description Tim Mills 2008-04-01 16:13:52 UTC 
In F&O, op:numeric-divide says:

"As a special case, if the types of both $arg1 and $arg2 are xs:integer, then the return type is xs:decimal."

But in FS C.2 Mapping of Overloaded Internal Functions, the table says that it returns xs:double.

fs:div(A, B) 	xs:integer 	xs:integer 	op:numeric-divide(A, B) 	xs:double
Comment 1 Michael Dyck 2008-04-26 01:50:35 UTC 
Yes, that looks like a mistake all right.
Comment 2 Michael Dyck 2008-04-29 18:50:24 UTC 
At their meeting today, the WGs agreed that it's a mistake, and approved changing that item in FS C.2 to agree with F+O. Consequently, I'm marking this issue resolved-FIXED. If you agree with this resolution, please mark it CLOSED.
Comment 3 Tim Mills 2008-04-30 06:28:18 UTC 
Thanks.
Comment 4 Michael Dyck 2008-08-17 05:38:53 UTC 
This issue has been entered as FS erratum E025, and its fix has been
committed to the source files for the next edition of the FS document.