[Bug 4551] K-NormalizeUnicodeFunc-13

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