This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 24514 - Type determined usage for xs:boolean can be inspection
Summary: Type determined usage for xs:boolean can be inspection
Status: CLOSED INVALID
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XSLT 3.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Michael Kay
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-02-05 04:41 UTC by Abel Braaksma
Modified: 2014-02-24 15:04 UTC (History)
1 user (show)

See Also:

Attachments

Description Abel Braaksma 2014-02-05 04:41:18 UTC 
Perhaps we can relax the rules for TDU a little bit. After all, when an argument is of type xs:boolean, all we need to know is whether the value is true or false, so either it is, or it isn't in the case of nodes. Hence for xs:boolean the TDU can be inspection.
Comment 1 C. M. Sperberg-McQueen 2014-02-11 16:02:37 UTC 
We discussed this in Prague and concluded that the proposed action is too optimistic.  When a function requires a parameter of type boolean and a node is passed as an argument, the node is atomized; the optimization proposed here would work if its effective Boolean value was taken.