[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


chamberl@almaden.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |CLOSED




------- Comment #3 from chamberl@almaden.ibm.com  2007-03-07 19:21 -------
Michael,
Thanks for your suggestions regarding wording of this correction. On 6 Mar 2007
the working group discussed this bug report and agreed to replace the paragraph
you quoted with the following:

It is a static error [err:XQST0036] to import a module if the in-scope
schema definitions of the importing module do not include all of the following:

(a) A schema type definition for each type-name that appears:
(i) in the type of a variable that is declared in the imported module
and referenced in the importing module, OR 
(ii) in a parameter-type or result-type of a function that is declared
in the imported module and referenced in the importing module.

(b) An element declaration for each element-name EN such that:
(i) schema-element(EN) appears in the declared type of a variable 
in the imported module, and that variable is referenced in the importing
module, 
OR
(ii) schema-element(EN) appears in a parameter-type or 
result-type of
a function declared in the imported module, and that function is
referenced in the importing module.

(c) An attribute declaration for each attribute-name AN such that:
(i) schema-attribute(AN) appears in the declared type of a variable 
in the imported module, and that variable is referenced in the importing
module, 
OR
(ii) schema-attribute(AN) appears in a parameter-type or 
result-type of
a function declared in the imported module, and that function is
referenced in the importing module.

Corresponding changes will also be made in the definition of error XQST0036.
These changes will appear in a future erratum to the XQuery specification.

Since you were present at the meeting and agreed with the working group
decision, I am changing the status of this bug report to Closed.

Regards,
Don Chamberlin (for the XML Query Working Group)

Received on Wednesday, 7 March 2007 19:24:46 UTC