RE: [XQuery] MS-XQ-LC1-042

I think you would like to replace "expression will necessarily raise a
dynamic or type error" with "expression will necessarily raise a type
error" since the dynamic errors are dealt with already and are not
dependent on the static typing feature. But otherwise I am satisfied.

 

Thanks

Michael

 

________________________________

From: Don Chamberlin [mailto:chamberl@almaden.ibm.com] 
Sent: Wednesday, February 11, 2004 11:54 AM
To: Michael Rys
Cc: public-qt-comments@w3.org
Subject: Re: [XQuery] MS-XQ-LC1-042

 


Michael, 
In a conference call on Feb. 11, 2004, the Query Working Group responded
to your issue by adding the following paragraph to Section 2.5 of the
XQuery document: 

"If the Static Typing Feature
<file:///C:\buildxq\lang\shared.html#dt-static-typing-feature>  is not
in effect but an implementation can nevertheless determine during the
analysis phase that an expression will necessarily raise a dynamic or
type error, the implementation may report that error during the analysis
phase." 

Please let us know whether you are satisfied with this resolution of
your issue. 
Regards,
--Don Chamberlin




"Michael Rys" <mrys@microsoft.com> 
Sent by: public-qt-comments-request@w3.org 

01/20/2004 03:52 PM 

To

<public-qt-comments@w3.org> 

cc

 

Subject

[XQuery] MS-XQ-LC1-042

 

 

 





Section 2.5. Error Handling                 
Technical                 

Please add a sentence of the form "If an implementation can determine
during analysis phase that an expression is always raising a dynamic or
type error (if static typing option is not used), that error can be
reported during the analysis phase".