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

[Bug 4086] Static typing of Constr-compelem-constrmod-3, Constr-compelem-constrmod-4

From: <bugzilla@wiggum.w3.org>
Date: Fri, 15 Dec 2006 16:22:11 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GvFp5-0008Cj-Ip@wiggum.w3.org>

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

           Summary: Static typing of Constr-compelem-constrmod-3, Constr-
                    compelem-constrmod-4
           Product: XML Query Test Suite
           Version: 1.0.2
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


In:

(element elem {xs:decimal($input-context//decimal[1])}) cast as xs:integer

xs:decimal is expecting zero-or-one, but $input-context//decimal[1] is typed as
a sequence.
Received on Friday, 15 December 2006 16:22:28 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:16 UTC