W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2008

[Bug 5747] New: [FS] Expansion of castable throws errors

From: <bugzilla@wiggum.w3.org>
Date: Fri, 13 Jun 2008 16:42:42 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-5747-523@http.www.w3.org/Bugs/Public/>

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

           Summary: [FS] Expansion of castable throws errors
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: jmdyck@ibiblio.org
        ReportedBy: oliver@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


Consider the following:
() castable as xs:integer

According to Formal Semantics (4.12.4), this expands out to:

let $v := fn:data(()) as xs:anyAtomicType return
$v castable as xs:integer

This would mean that the expression would throw an XPTY0004 error, although
this seems undesirable (and is not mentioned in the XQuery spec).

Similarly (1,2) cast as xs:integer? throws an error, whereas XQuery seems to
suggest that "false" should be returned.


-- 
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 Friday, 13 June 2008 16:43:15 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:52 GMT