[Bug 9600] [XQuery 1.1] Importing schema with a simple type conflicting with a function declaration.

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





--- Comment #9 from Jonathan Robie <jonathan.robie@redhat.com>  2010-06-15 15:00:45 ---
(In reply to comment #8)
> The word "existing" seems to imply a particular order of processing. It's
> surely possible to express the error as a constraint that doesn't depend on
> order of processing.


I think the existing text for module import does this nicely. I think we should
simply echo this in the text for schema import, using the same language and the
same error code to emphasize the parallelism between the two:

4.12 Module Import (current)

It is a static error if the expanded QName and arity of a function
declared in an imported module are respectively equal to the expanded
QName and arity of a function declared in the importing module or in
another imported module (even if the declarations are consistent)
[err:XQST0034].

4.11 Schema Import (proposed)

It is a static error if the expanded QName and arity of a
<diff>constructor function</diff> are respectively equal to the
expanded QName and arity of a function declared in the importing
module or in another imported module (even if the declarations are
consistent) [err:XQST0034].

-- 
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 Tuesday, 15 June 2010 15:00:47 UTC