[Bug 6513] [XQuery] inconsistent terminology in definition of derives-from()

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





--- Comment #8 from Michael Kay <mike@saxonica.com>  2009-03-16 16:57:16 ---
>Any type that is statically known is in the ISSD.

Here's some evidence that I'm not the only one who considers this statement to
be wrong. Look at error err:XQST0036

<quote>
    It is a static error to import a module if the importing module's in-scope
schema types do not include definitions for the schema type names that appear
in the declarations of variables and functions (whether in an argument type or
return type) that are present in the imported module and are referenced in the
importing module.
</quote>

Because this is a static error, it is presumably using only information known
statically. And it seems to distinguish two sets of types: the types in the
ISSD of module M, and the types named in the declarations of variables and
functions referenced by M. Now, if the ISSD of module M includes all statically
known types, then this error cannot possibly occur. So whoever wrote this rule
(it wasn't me) clearly believed that it was possible for statically known types
to be absent from the ISSD of a particular module.


-- 
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 Monday, 16 March 2009 16:57:33 UTC