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

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 UTC