- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 10 May 2007 16:58:37 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4551 Summary: K-NormalizeUnicodeFunc-13 Product: XML Query Test Suite Version: 1.0.2 Platform: PC OS/Version: Windows NT Status: NEW Severity: normal Priority: P2 Component: XML Query Test Suite AssignedTo: andrew.eisenberg@us.ibm.com ReportedBy: tim@cbcl.co.uk QAContact: public-qt-comments@w3.org I'd be grateful if someone could offer some guidance as to whether it is permissable for this query to return without error. This hinges on whether it is required that ("a string", error()) must evaluate the error() in the sequence. From XQuery 1.0: "The effect of these rules is that the processor is free to stop examining further items in a sequence as soon as it can establish that further items would not affect the result except possibly by causing an error." "Another consequence of these rules is that where none of the items in a sequence contributes to the result of an expression, the processor is not obliged to evaluate any part of the sequence. Again, however, the processor cannot dispense with a required cardinality check:" Since error() has type none, the sequence("a string", error()) has type xs:string, thus we know that the cardinality constaint is obeyed. error() thus does not contribute to the result of the expression. (:*******************************************************:) (: Test: K-NormalizeUnicodeFunc-13 :) (: Written by: Frans Englich :) (: Date: 2007-01-22T21:16:10+01:00 :) (: Purpose: A test whose essence is: `normalize-unicode(("a string", error()), " NFC")`. :) (:*******************************************************:) normalize-unicode(("a string", error()), "NFC")
Received on Thursday, 10 May 2007 16:58:39 UTC