28192 2015-03-11 14:07:17 +0000 [XSLT30] Note in streamability of for-expressions does not match text 2015-10-29 09:50:42 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Last Call drafts PC Windows NT CLOSED FIXED P2 normal --- 1 abel.braaksma mike public-qt-comments oldest_to_newest 118528 0 abel.braaksma 2015-03-11 14:07:17 +0000 The text and Note say (partially): <quote> Writing the expression as for $v in S return R, the two operand roles are S and R. <snip /> <note> The rule that R must be grounded prevents the variable being bound to a node in a streamed document. This disallows expressions of the form for $x in child::section return $x/para, because this requires data flow analysis (tracing from the binding of a variable to its usages), rather than purely syntactic analysis. Some implementations may be able to stream such constructs. </note> </quote> But this is not (entirely) true. It is "S" that must be grounded that prevents the variable from being bound to a node. The rest of the text seems correct. Note that we could make "for $n in para return copy-of($n/@indent)" streamable, because the operand R is motionless, but currently we disallow this. 118568 1 mike 2015-03-12 18:14:58 +0000 The correction was accepted and has been applied.