http://www.w3.org/Bugs/Public/show_bug.cgi?id=3667 Summary: Missing xs:anyUri from fn:boolean typing rule. Product: XPath / XQuery / XSLT Version: Candidate Recommendation Platform: PC OS/Version: Windows XP Status: NEW Severity: normal Priority: P2 Component: Formal Semantics AssignedTo: simeon@us.ibm.com ReportedBy: tim@cbcl.co.uk QAContact: public-qt-comments@w3.org 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.Received on Thursday, 7 September 2006 14:44:20 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:14 UTC