24515 2014-02-05 04:50:17 +0000 xsl:call-template can statically determine streamability of called template 2014-05-15 14:00:43 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Last Call drafts PC Windows NT CLOSED LATER P2 enhancement --- 1 abel.braaksma mike abel.online cmsmcq public-qt-comments oldest_to_newest 99749 0 abel.braaksma 2014-02-05 04:50:17 +0000 We already have streamable modes and any templates in that mode are guaranteed streamable if the sequence constructor is grounded. The rules in 19.8.4.9 Streamability of xsl:call-template (http://www.w3.org/TR/xslt-30/#streamability-xsl-call-template) can be relaxed with that in mind. Consider: <xsl:mode streamable="yes" name="streamable" /> <xsl:template match="foo" mode="streamable" name="bar"> <xsl:copy-of select="." /> </xsl:template> <xsl:template match="/"> <xsl:call-template name="bar" /> </xsl:template> Because we can statically determine that the template with the name "bar" is also in a streamable mode, hence it is streamable, hence this call is allowed (which the current rules do not allow because of TDU restrictions). 99770 1 mike 2014-02-05 11:23:03 +0000 If we allowed this we would also need to introduce a constraint that such a named template cannot be overridden in a way that makes it non-streamable. 100296 2 abel.online 2014-02-11 16:01:13 +0000 Since we already have such a rule already for xsl:mode, I think such a rule would be in line with existing ones. 100299 3 cmsmcq 2014-02-11 16:09:10 +0000 We discussed this in Prague and agreed that this would be at least a minor improvement in convenience. The improvement does not have to be made, however, and any implementor can in fact offer it. So on balance we inclined not to make the change.