W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2008

[Bug 5617] [F&O] Summary of numeric-unary-plus

From: <bugzilla@farnsworth.w3.org>
Date: Tue, 22 Apr 2008 18:00:36 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JoMnE-0000vm-Ul@farnsworth.w3.org>

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





------- Comment #6 from mike@saxonica.com  2008-04-22 18:00 -------
Regarding comment #5: no, I disagree. An implementation of a function is always
allowed to return a value that is an instance of a subtype of the declared
return type if it chooses. That's a general rule, it's nothing specific to
these two operators. (I agree there is room for debate about whether we
currently say clearly what the general rule is here; but that doesn't belong as
part of this bug.) 

The proposed text is being drafted as erratum E23.
Received on Tuesday, 22 April 2008 18:01:14 UTC

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