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 3430 - empty sequence as alternate result for K-ResolveQNameConstructFunc-4
Summary: empty sequence as alternate result for K-ResolveQNameConstructFunc-4
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 0.9.4
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Frans Englich
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-07-06 00:37 UTC by Andrew Eisenberg
Modified: 2006-07-18 18:16 UTC (History)
0 users

See Also:


Attachments

Description Andrew Eisenberg 2006-07-06 00:37:27 UTC
Test case K-ResolveQNameConstructFunc-4 contains the following:

empty(resolve-QName((), "a string"))

While XPTY0004 is the expected error, the empty sequence should also be accepted.

In section 3.1.5, Function Calls, of XQuery, we say that:

"Argument expressions are evaluated, producing argument values. The order of argument evaluation is implementation-dependent and a function need not evaluate an argument if the function can evaluate its body without evaluating that argument."

In section 11.1.1, fn:resolve-QName, F&O says, "If $qname is the empty sequence, returns the empty sequence."
Comment 1 Frans Englich 2006-07-06 09:49:30 UTC
Yupp, I agree.

Fixed in CVS. Feel free to change status to CLOSED if in agreement.


Frans