[Bug 5810] New: [XQuery] reasoning about fn:error()

• From: <bugzilla@wiggum.w3.org>
• Date: Thu, 26 Jun 2008 13:19:53 +0000
• To: public-qt-comments@w3.org
• Message-ID: <bug-5810-523@http.www.w3.org/Bugs/Public/>

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

           Summary: [XQuery] reasoning about fn:error()
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery
        AssignedTo: chamberl@almaden.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


There has been a long discussion in Bug 5795 about fn:error().

Many implementations will happily use lazy evaluation to avoid an error in the
query:

(1, fn:error())[1]

Is it also permissible to avoid an error here:

(fn:error(), 1)[2]

? 

Since fn:error has type none, whose quantifier is 1, is it conformant for

count(fn:error())

to return 1?


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 26 June 2008 13:20:29 UTC