[Bug 3841] Static typing of function declarations

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3841


mrys@microsoft.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




------- Comment #1 from mrys@microsoft.com  2006-11-02 01:40 -------
Hi Nick

The XQuery WG has looked at your report and agrees to fix this issue in the
next version of the document.

The proposed fix is to reflect the function conversion rules for function
results in the normalization rules:

In 5.15:

Change the normalization rule as follows:

[ declare function QName ( ParamList? ) as SequenceType { Expr } ]PrologDecl 
== 
declare function QName ( [ParamList?]Param ) as SequenceType {
[Expr]FunctionArgument(SequenceType)} 

"The function body's type must be a subtype of the expected return type."
replaced with
"The function body's type - after applying the function conversion rules - must
be a subtype of the expected return type."

With this change we mark this as FIXED. If you agree with this fix, we
appreciate if you can close it. Feel free to reopen the bug if you disagree
with the resolution. Although if you reopen it, the bug will most likely to be
considered for an errata instead of the recommendation document.

Received on Thursday, 2 November 2006 01:40:38 UTC