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

[XQuery] MS-XQ-LC1-017

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

Section Dynamic Analysis Phase	

"If the Static Typing Feature is not in effect, an implementation is
allowed to raise type-related warnings during the static analysis phase,
but it must proceed with the dynamic evaluation phase despite these
warnings. In this case, type errors must be detected and raised during
the dynamic evaluation phase.": This is too strong. If I know for sure
that I always will have a dynamic type error (e.g., the expected type is
xs:string and the passed value is always an instance of xs:int, I should
be able to raise this type error during the static phase even if the
static typing feature is not employed).
Received on Tuesday, 20 January 2004 14:40:44 UTC

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