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

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