- From: <bugzilla@jessica.w3.org>
- Date: Mon, 14 Jun 2010 18:48:04 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=9925
Michael Kay <mike@saxonica.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mike@saxonica.com
--- Comment #1 from Michael Kay <mike@saxonica.com> 2010-06-14 18:48:03 ---
(personal response:)
The specification only requires the importing module to import the schema types
used in the function signature, it is not required to import the types
represented by the dynamic types of the actual return values. So I don't think
this query is violating any rule in the specification, and therefore by
definition it is a valid query. It would be very unfortunate if there were such
a rule, because the function implementation is always at liberty to return
values that are instances of a subtype of the declared result type, and the
caller cannot know at compile time what these possible subtypes might be.
"This type is needed to execute the instance of expression." True. But it's not
needed at compile-time, only at run-time.
--
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 Monday, 14 June 2010 18:48:06 UTC