[Bug 2789] Substitutability of duration subtypes

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





------- Additional Comments From mrys@microsoft.com  2006-02-01 19:45 -------
I agree with your interpretation for arithmetic. But this is incorrect when 
casting. Casting per definition needs to change both the static and dynamic 
type. Casting up the type hierarchy is only a noop regarding the value 
transformation, but it has to change the type annotation...

Best regards
Michael

Received on Wednesday, 1 February 2006 19:45:44 UTC