W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2004

[XQuery] MS-XQ-LC1-044

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

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:16 UTC