This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In: http://www.w3.org/TR/xpath20/#id-ebv "If its operand is a singleton value of type xs:string, xs:anyURI, xs:untypedAtomic, or a type derived from one of these, fn:boolean returns false if the operand value has zero length; otherwise it returns true." However, in: http://www.w3.org/TR/xquery-semantics/#sec_fn_boolean statEnv |- Type <: (empty | NodeType+ | xs:boolean | xs:string | xs:untypedAtomic | fs:numeric) --------------------------------------------------- statEnv |- (FN-URI,"boolean")(Type) : xs:boolean This typing rule should include xs:anyURI.
Good catch. The typing rule should have xs:anyURI added to it, as follows: statEnv |- Type <: (empty | NodeType+ | xs:boolean | xs:string | xs:untypedAtomic | fs:numeric | xs:anyURI) --------------------------------------------------- statEnv |- (FN-URI,"boolean")(Type) : xs:boolean - Jerome
Tim, The XSLT and XML Query Working groups have adopted your proposal and will make the corresponding changes in the next version of the formal semantics documents. Best regards, - Jerome Simeon on behalf of the XSLT and XML Query WGs