[Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"

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


mrys@microsoft.com changed:

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




------- Additional Comments From mrys@microsoft.com  2005-07-20 00:52 -------
The joint XQuery/XSLT face-to-face meeting resolves this bug in the following 
way:
Bug 1728 is resolved by generalizing the 3rd inference rule of 7.2.13 to work 
with fn:subsequence(expression, numeric literal, 1) and not generalize to 
arbitrary expressions.

Note that while your proposed rule is a generalization, we decided to not 
require static typing implementations to implement this rule, since it means 
that one of the main use cases, when people write Expr[1] to reduce the 
cardinality would have to be extended to also reduce cardinality in the much 
less likely case of Expr[1+6 div 6]. Note that implementations are allowed to 
use your more general rule, but we did not feel that the use cases make it 
useful to require it.

If you disagree with the resolution, please reopen the bug with your 
objection, otherwise please indicate your acceptance by closing the bug.

Received on Wednesday, 20 July 2005 00:52:34 UTC