[Bug 24491] Static type of a construct <> expr is not always item()

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

--- Comment #2 from Abel Braaksma <abel.braaksma@xs4all.nl> ---
You are right that xsl:function is not an instruction, and thus not a construct
for streamability analysis, I didn't consider that. The call to a function is,
however, a construct, but that is already covered.

Another appearance where we have a construct, but not the static type of item()
is xsl:variable:

<xsl:variable name="foo" as="xs:string">
   <xsl:value-of select="bar" />
</xsl:variable>

This is allowed in streaming, is a construct, but has type other than item().
The streamability works here, because the sequence constructor is grounded. But
even if the sequence constructor contained xsl:sequence instead of
xsl:value-of, it would still be grounded, however, that is not covered in the
streamability of xsl:variable currently, I believe (the operand role is the
seqtor, the usage is navigation, though we could use TDU here, albeit a bit
off-topic for this bug-report).

Perhaps I misunderstand the mentioned sentence. Apparently, TDU is only applied
to operand roles, not to whole constructs, in which case the sentence itself is
true, albeit for me a tad confusing.

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

Received on Wednesday, 5 February 2014 15:46:07 UTC