[Bug 2789] Substitutability of duration subtypes

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





------- Additional Comments From frans.englich@telia.com  2006-02-01 15:58 -------
     
Yes Rys, I think you are right.    
    
I don't know your reasoning, but from what I can tell a cast expression can    
return a value whose type is more specific than the static one(from the 
definition of dynamic type). However, the reason why that doesn't apply to this 
particular case of xs:duration/xdt:dayTimeDuration is that the relevant 
sections in F&O special case those; xdt:dayTimeDuration isn't treated as a 
xs:duration value.    
    
Curiosity: my conclusion is that the expression in comment #1 triggers a   
bug in Saxon, but when Saxon implements what likely is the result of this   
report(the eq ops for xdt:durations are removed) the bug will go away.   
    
    
Frans

Received on Wednesday, 1 February 2006 15:58:35 UTC