W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

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

From: <bugzilla@wiggum.w3.org>
Date: Sat, 09 Jul 2005 07:26:28 +0000
To: public-qt-comments@w3.org
Message-Id: <E1Dr9jI-0003tL-8o@wiggum.w3.org>


           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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC