W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 07 Sep 2006 14:43:51 +0000
To: public-qt-comments@w3.org
Message-Id: <E1GLL6d-0005Np-Oz@wiggum.w3.org>


           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



"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:


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