[Bug 2324] Value/General comparisons: type promotion for xs:anyURI/numeric

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


chamberl@almaden.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




------- Comment #8 from chamberl@almaden.ibm.com  2006-03-08 00:21 -------
Frans,
On 07 March 2006 the Query and XSLT working groups considered your comment and
agreed that some clarifications would be helpful. The groups voted to adopt the
text shown below. We believe that this text addresses the issues raised by your
comment. If you agree, please change the status of this Bugzilla entry to
"Closed" (the working groups will automatically close this entry if we do not
hear from you within two weeks). Thanks for calling our attention to this
issue!
Regards,
Don Chamberlin (for the Query and XSLT working groups)

Proposed changes to XPath/XQuery document:

1. In Section 3.5.1 (Value Comparisons), change the paragraph following 
rules 1-4 as follows: 

Next, if possible, the two operands are converted to their least common 
type by a combination of [type promotion] and [subtype substitution]. For 
example, if the operands are of type hatsize (derived from xs:integer) and 
shoesize (derived from xs:float), their least common type is xs:float. 

Finally, if the types of the operands are a valid combination for the 
given operator, the operator is applied to the operands. ... (continue as 
in current draft) 

2. In Appendix B.2 (Operator Mapping), change the third paragraph as 
follows: 

If an operator in the operator mapping tables expects an operand of type 
ET, that operator can be applied to an operand of type AT if type AT can 
be converted to type ET by a combination of [type promotion] and [subtype 
substitution]. For example, ... (continue as in current draft) 

3. In Appendix B.2 (Operator Mapping), change the fifth paragraph 
(immediately following the small table of four numeric operators) as 
follows: 

A numeric operator may be validly applied to an operand of type AT if type 
AT can be converted to any of the four numeric types by a combination of 
[type promotion] and [subtype substitution]. If the result type of an 
operator is listed as numeric, ... (continue as in current draft) 

(Editor's note: [type promotion] and [subtype substitution] are defined 
terms that contain links to their definitions.)

Received on Wednesday, 8 March 2006 00:21:40 UTC