[Bug 1526] New: $x cast as xdt:anyAtomicType

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

           Summary: $x cast as xdt:anyAtomicType
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Functions and Operators
        AssignedTo: ashok.malhotra@oracle.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


(Raised by Frans Englich on the xsl-list at mulberrytech)

We don't seem to have any rule that says what should happen if you write

$x cast as xdt:anyAtomicType

One would think it should fail, because xdt:anyAtomicType is abstract - except
that we no longer seem to say anywhere that xdt:anyAtomicType is abstract.

Saxon 8.4 allows this expression through, because if ($x instance of T) is true
then it treats ($x cast as T) as a no-op.

Michael Kay

Received on Saturday, 9 July 2005 07:26:32 UTC