[Bug 29712] [xslt3.0] Why are streamable stylesheet functions required to be consuming?

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

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #5 from Michael Kay <mike@saxonica.com> ---
It's not strictly true that the rules for filter, shallow-descent, and
deep-descent require the function to return nodes; they require its posture to
be striding or crawling, but an expression such as

(child::x, 23)

is striding even though its result includes non-nodes. So I'm inclined not to
add a rule requiring the type signature of these functions to declare a return
type of U{N}.

Apart from this, the WG approved the change to allow the function body to be
motionless, and I have applied that part of the change.

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

Received on Sunday, 10 July 2016 17:25:29 UTC