[Bug 26439] New: fn:fold-left in streamability rules can take type-determined usage into account (from note in test)

https://www.w3.org/Bugs/Public/show_bug.cgi?id=26439

            Bug ID: 26439
           Summary: fn:fold-left in streamability rules can take
                    type-determined usage into account (from note in test)
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 3.0
          Assignee: mike@saxonica.com
          Reporter: abel.braaksma@xs4all.nl
        QA Contact: public-qt-comments@w3.org

In test sf-fold-left-003 in test-set sf-fold-left (see top of this file:
https://dvcs.w3.org/hg/xslt30-test/file/ed6d3af522b5/tests/strm/sf-fold-left/sf-fold-left-A.xsl)
there's a comment with a "TODO", implying that TDU can be used with fold-left.
I think this is correct. The full comment says it all:


> TODO: fold-left is defined in the current XSLT 3.0 draft to 
> have the operand usage N (Navigation) making it non-streamable. 
> This should be fixed; it should have type-determined usage 
> based on the type of the first argument of the function 
> provided in the third argument, if this is known. In the 
> meantime, we explicitly atomize the sequence to be processed

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Sunday, 27 July 2014 23:23:53 UTC