[Bug 4153] Static typing of prolog-version-6 and prolog-version-7 from bugzilla@wiggum.w3.org on 2007-01-08 (public-qt-comments@w3.org from January 2007)

From: <bugzilla@wiggum.w3.org>
Date: Mon, 08 Jan 2007 14:03:06 +0000
To: public-qt-comments@w3.org
CC:
Message-Id: <E1H3v5e-0000nr-K3@wiggum.w3.org>

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

           Summary: Static typing of prolog-version-6 and prolog-version-7
           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


These queries both fail static type checking because the constructor
xs:decimal($b/price) is passed an argument typed as a zero-or-more sequence.

Received on Monday, 8 January 2007 14:03:21 UTC