[XQuery] BEA_023

• From: Daniela Florescu <danielaf@bea.com>
• Date: Sun, 15 Feb 2004 22:10:13 -0800
• To: public-qt-comments@w3.org
• Message-Id: <C837282A-6046-11D8-9D91-0003937198F4@bea.com>

XQuery: (potentially) editorial

Section 3.1.5 (Function calls) when it describes the
function conversion rules, it says that in case of
a function invocation from a different module the
type test has to be true in both modules.

This  is surprising. Does this mean that we are allowed
to write in a library module:

define function f($x as ns:shoeSize?)
(: ns:shoeSize derives from xs:integer here :)
{()}

while the importing module contains:

declare external variable $y as ns:shoeSize?;
(: ns:shoeSize derives from String here :)

f($y)

and have the call f($y) succeed  if $y is bound to the
empty sequence ?

This is surprising. Did I misunderstand something?
Is this is not allowed, where is the text that forbids this case?(maybe)

Received on Monday, 16 February 2004 01:09:19 UTC