This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 4088 - Static typing of K-WhereExpr-1 and K-WhereExpr-2
Summary: Static typing of K-WhereExpr-1 and K-WhereExpr-2
Status: CLOSED DUPLICATE of bug 3971
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 1.0.2
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Frans Englich
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-12-15 17:30 UTC by Tim Mills
Modified: 2006-12-15 17:44 UTC (History)
0 users

See Also:

Attachments

Description Tim Mills 2006-12-15 17:30:50 UTC 
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.
Comment 1 Frans Englich 2006-12-15 17:44:01 UTC 

*** This bug has been marked as a duplicate of bug 3971 ***