- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 31 Jul 2008 02:28:19 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5915
Michael Dyck <jmdyck@ibiblio.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
--- Comment #1 from Michael Dyck <jmdyck@ibiblio.org> 2008-07-31 02:28:19 ---
> In fs:convert-operand(data(()), 1), fs:convert-operand triggers an XPST005
> error because it is being applied to data( () ) and not to ().
I think you're assuming that the static type of
fs:convert-operand(data(()), 1)
is the empty type, but I don't think it is. With respect to FS 7.1.1 / STA,
Type1 is empty and Type2 is xs:integer. Since
empty <: xs:untypedAtomic ?
and
xs:integer <: fs:numeric,
I believe rule 3 holds, and we infer a type of xs:double?.
(Mind you, that might be an unintended result.)
--
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 Thursday, 31 July 2008 02:28:54 UTC