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

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.