[Bug 5452] [FS] Static type of namespace axis

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


Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mike@saxonica.com




--- Comment #2 from Michael Kay <mike@saxonica.com>  2008-10-23 14:42:49 ---
The XSL Working Group discussed this on 9 Oct 2008.

We felt that the work needed to handle the namespace axis in the formal
semantics is probably not justified, since the intersection of products
(necessarily XPath rather than XQuery) that implement the static typing rules
and products that support the namespace axis is probably rather small.
Nevertheless the FS document ought to make it explicit that this case is
excluded; and it should not say that the type of an expression using the
namespace axis is empty, which would automatically make it an error.

I would propose replacing the content of section 8.2.2.1.6 (Inference rules for
the namespace axis) by:

This document does not specify inference rules for the namespace axis (which is
allowed, though deprecated, in XPath 2.0, and is not allowed in XQuery 1.0).
Implementations choosing to support the namespace axis will need to define an
additional node kind for namespace nodes in the type hierarchy, and to add the
appropriate inference rules.


-- 
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 Thursday, 23 October 2008 14:43:01 UTC