Subject: [xsl] xdt:yearMonthDuration eq xs:duration From: Frans Englich <frans.englich@xxxxxxxxx> Date: Wed, 1 Feb 2006 01:05:13 +0000 |
Saxon 8.6 fails this expression with XPTY0004, "Cannot compare xdt:yearMonthDuration to xs:duration": xdt:yearMonthDuration("P200Y2M") eq xs:duration("P200Y2M") The XPath 2.0 book specifies these operators: A eq B xdt:yearMonthDuration xdt:yearMonthDuration A eq B xdt:dayTimeDuration xdt:dayTimeDuration A eq B xs:duration xs:duration It also says this: <quote> Any operator listed in the operator mapping tables may be validly applied to an operand of type AT if the table calls for an operand of type ET and type-matches(ET, AT) is true (see 2.5.4 SequenceType Matching). For example, a table entry indicates that the gt operator may be applied to two xs:date operands, returning xs:boolean. Therefore, the gt operator may also be applied to two (possibly different) subtypes of xs:date, also returning xs:boolean. </quote> Doesn't type-matches(xs:duration, xdt:yearMonthDuration) hold true? My point being that the expression should succeed because xdt:yearMonthDuration is a subtype of xs:duration and that the xs:duration-eq operator therefore can be applied. If that is the case, which I doubt, the eq/ne operators for the two XDT durations are redudant, since the xs:duration-eq/ne operators covers them. What clause in any of the specifications disallow the above operand combination? (and the others variations by the same principle) Thanks in advance, Frans
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
[xsl] Pagebreaks in Excel-to-HTML t, Oleg Konovalov | Thread | RE: [xsl] xdt:yearMonthDuration eq , Michael Kay |
Re: [xsl] What does the phrase "dup, David Carlisle | Date | Re: [xsl] What does the phrase "dup, Dimitre Novatchev |
Month |