[XQuery] MS-XQ-LC1-044

• From: Michael Rys <mrys@microsoft.com>
• Date: Tue, 20 Jan 2004 15:53:06 -0800
• To: <public-qt-comments@w3.org>
• Message-ID: <EB0A327048144442AFB15FCE18DC96C701CA2C8E@RED-MSG-31.redmond.corp.microsoft.com>

Section 2.6.2 Static Typing Feature	
Editorial

Please reword definition of static typing to positive formulation
(otherwise a static typing implementation does not need to report type
errors statically with current definition):

[Definition: An XQuery implementation that supports the Static Typing
Feature is required to raise type errors during the static analysis
phase.] Note that implmenentations that does not support the Static
Typing Feature is not required to raise type errors during the static
analysis phase. However, non-type-related static errors must be detected
and raised during the static analysis phase.

Received on Tuesday, 20 January 2004 18:59:55 UTC