- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 08 Jul 2008 00:22:00 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5671
Michael Dyck <jmdyck@ibiblio.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jmdyck@ibiblio.org
--- Comment #5 from Michael Dyck <jmdyck@ibiblio.org> 2008-07-08 00:21:59 ---
[personal response:]
(In reply to comment #4)
>
> 1. When no type promotion is required, we can always return an item (with its
> type unchanged) from the input sequence.
According to MKay's interpretation, you can. Perhaps some other interpretation
says you can't. Anyhow, the user isn't guaranteed that you will. (You might
return that item converted to a supertype.)
> The static type of the function call
> will be the least common type of the input item types.
Yes.
> 2. When type promotion is required, we can always return an item from the
> input cast as the promoted type (which will be xs:decimal, xs:float,
> xs:double or xs:string).
Any case in which the resultant type is xs:decimal wouldn't *require* type
promotion (you could do it all with subtyping), so you could leave that one off
the list.
> The static type of the function call will be the promoted type.
Yes.
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Tuesday, 8 July 2008 00:22:34 UTC