- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 17 May 2005 16:56:46 +0000
- To: public-qt-comments@w3.org
- Cc:
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