[Bug 3667] Missing xs:anyUri from fn:boolean typing rule.

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