- From: <bugzilla@jessica.w3.org>
- Date: Thu, 15 May 2014 13:53:10 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=24528 --- Comment #4 from Michael Kay <mike@saxonica.com> --- Unfortunately we have introduced a new complication in the form of streamable functions: the "from" and "count" patterns can now contain a variable reference to the streaming parameter of a streamable function. I have proposed in email [1] that when such a reference appears in a higher-order operand then it should be free-ranging/roaming. The constructs therefore need to be included in the analysis so that this situation is detected. The problem of references to grouping variables has disappeared, of course, and there is an explicit rule that current-group() cannot be used in a pattern. I propose to change the Note to: In practice the rules depend very little on the from and count patterns. This is because when the instruction is applied to a streamed node, the instruction will be free-ranging regardless of these patterns; while if it is applied to a grounded node or atomic value, the instruction will normally be motionless regardless of the values of these patterns. The pattern does matter, however, if it contains a variable reference bound to the streaming parameter of a function that is declared streamable; because such a reference occurs within a higher-order operand, its presence automatically makes the variable reference free-ranging and therefore means that the function as a whole is not guaranteed streamable. [1] https://lists.w3.org/Archives/Member/w3c-xsl-wg/2014May/0023.html (member-only) -- You are receiving this mail because: You are the QA Contact for the bug.
Received on Thursday, 15 May 2014 13:53:12 UTC