[Bug 1431] New: [FO/FS] Constrain $zero to be compatible if static typing is available

• From: <bugzilla@wiggum.w3.org>
• Date: Fri, 13 May 2005 22:54:12 +0000
• To: public-qt-comments@w3.org
• Cc:
• Message-Id: <E1DWj2q-0003N9-Oo@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1431

           Summary: [FO/FS] Constrain $zero to be compatible if static
                    typing is available
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: mrys@microsoft.com
         QAContact: public-qt-comments@w3.org


fn:sum($arg as xdt:anyAtomicType*, $zero as xdt:anyAtomicType?)

$zero should also be statically restricted to the same set of types for $arg 
and the type given to $zero should be compatible with the type given to $arg.

For example, sum(1+$decimalorempty, xs:duration(...)) should not be allowed.

Note that dynamic typing implementation will not be able to provide this since 
the empty sequence will not know about the other possible value types.

Received on Friday, 13 May 2005 22:54:15 UTC