3667 2006-09-07 14:43:50 +0000 Missing xs:anyUri from fn:boolean typing rule. 2006-10-19 19:53:07 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation PC Windows XP CLOSED FIXED P2 normal --- 1 tim simeon public-qt-comments oldest_to_newest 11487 0 tim 2006-09-07 14:43:50 +0000 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. 11862 1 simeon 2006-09-19 15:25:30 +0000 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 12034 2 simeon 2006-09-26 14:01:21 +0000 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