W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2006

[Bug 2789] Substitutability of duration subtypes

From: <bugzilla@wiggum.w3.org>
Date: Wed, 01 Feb 2006 19:45:32 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1F4Nv2-0006PP-Ot@wiggum.w3.org>

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

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