24514 2014-02-05 04:41:18 +0000 Type determined usage for xs:boolean can be inspection 2014-02-24 15:04:30 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Last Call drafts PC Windows NT CLOSED INVALID P2 normal --- 1 abel.braaksma mike cmsmcq public-qt-comments oldest_to_newest 99748 0 abel.braaksma 2014-02-05 04:41:18 +0000 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. 100297 1 cmsmcq 2014-02-11 16:02:37 +0000 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.