[Bug 22937] [xslt 3.0] Rules for streamable patterns

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

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
I also propose to refine the rules for expressions that return booleans as
follows:

(a) allow a return type of S where S satisfies subtype(S, xs:boolean?) - which
allows subtypes of xs:boolean as well as xs:boolean itself

(b) allow "treat as xs:boolean" - again allowing subtypes

I wonder whether we should also allow expressions that are statically known to
return nodes? For example it seems unreasonable to disallow

match="p[@status]"

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

Received on Tuesday, 13 August 2013 11:53:21 UTC