[Bug 4088] Static typing of K-WhereExpr-1 and K-WhereExpr-2

• From: <bugzilla@wiggum.w3.org>
• Date: Fri, 15 Dec 2006 17:30:50 +0000
• To: public-qt-comments@w3.org
• CC:
• Message-Id: <E1GvGtW-00050S-OP@wiggum.w3.org>

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

           Summary: Static typing of K-WhereExpr-1 and K-WhereExpr-2
           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:

(for $fo in (1, 2, 3) where $fo eq 3 return $fo) eq 3

The static type of:

(for $fo in (1, 2, 3) where $fo eq 3 return $fo)

is a sequence.  The operator is expecting zero-or-one.

A similar problem arises in the K-WhereExpr-2.

Received on Friday, 15 December 2006 17:31:15 UTC