[Bug 26439] [XSLT30] 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

--- Comment #3 from Michael Kay <mike@saxonica.com> ---
Note also that whatever we do for fold-left, we can probably also do the same
or similar for filter and for-each, perhaps also for-each-pair.

For filter: it should behave like filter expressions if we know the supplied
function is motionless (or has operand usage inspection). We can only know this
for built-in functions (or inline functions if we choose to analyse them), for
example it should be possible to make the following work:

filter(/*/x, function($n) {lang('en', $n)})

filter(/*/x, lang('en', ?))

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

Received on Friday, 1 August 2014 11:22:33 UTC