[Bug 4321] [XQuery] Importing the types used in the signature of an imported function

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4321





------- Comment #2 from mike@saxonica.com  2007-02-27 19:29 -------
A couple of comments on the wording.

(a) I think "fail to include any" should perhaps be "fail to include all", or
perhaps more clearly "do not include all".

(b) The old text read "that appear in the declarations of variables and
functions (whether in an argument type or return type)" and we've lost the
phrase in parentheses, which was a useful way of saying that we're only
interested in type names that appear in the signature of a variable/function
and not in names that appear in its body.

Here's another attempt, which isn't perfect either.

It is a static error [err:XQST0036] to import a module and to reference a
function F or a variable V declared in that module if the return type or any
argument type of F, or the declared type of V, is a SequenceType containing any
of the following names, unless that name is present in the in-scope schema
definitions of the importing module:
(a) A type-name 
(b) An element-name EN that appears in a SequenceType of form
schema-element(EN) 
(c) An attribute-name AN that appears in a SequenceType of form
schema-attribute(AN)

Received on Tuesday, 27 February 2007 19:29:16 UTC