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

[Bug 1461] New: Casting from YMD to DTD and vice versa

From: <bugzilla@wiggum.w3.org>
Date: Tue, 17 May 2005 16:56:46 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DY5N8-0002ii-Qk@wiggum.w3.org>

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

           Summary: Casting from YMD to DTD and vice versa
           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


It is possible to cast from an xs:duration to an xdt:dayTimeDuration. The
prinicile of type Substitutability therefore demands that it should be possible
to cast from any subtype of xs:duration to an xdt:dayTimeDuration. However, the
casting table in F+O section 17 says that casting from xdt:yearMonthDuration to
xdt:dayTimeDuration is disallowed.

In my view this cast should be allowed and should return a zero length duration.

The same also applies of course to the inverse cast.

(Problem revealed by running the test suite.)
Received on Tuesday, 17 May 2005 17:03:18 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:05 UTC