[XQuery] MS-XQ-LC1-137

• From: Michael Rys <mrys@microsoft.com>
• Date: Mon, 16 Feb 2004 23:18:09 -0800
• To: <public-qt-comments@w3.org>
• Message-ID: <EB0A327048144442AFB15FCE18DC96C7020F7F5A@RED-MSG-31.redmond.corp.microsoft.com>

Section 4.8 Variable Declaration	
Technical	

"If the value provided by the external environment is not compatible
with the declared type of the variable, a type error is
raised.[err:XP0006]": A static typing implementation cannot do this
check at runtime. Therefore, an implementation will need to guarantee
that this is an axiomatic constraint. Therefore, we request that this is
formulated as a constraint.

Received on Tuesday, 17 February 2004 02:18:19 UTC