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 3402 - Some QuantExprWith are not static typing savvy?
Summary: Some QuantExprWith are not static typing savvy?
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 0.9.4
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Frans Englich
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-06-25 21:11 UTC by Marc Van Cappellen
Modified: 2006-07-05 12:26 UTC (History)
0 users

See Also:

Attachments

Description Marc Van Cappellen 2006-06-25 21:11:08 UTC 
Query:
  every $a as empty-sequence() in (), $b as xs:integer in $a satisfies $b

We believe a static implementation can raise XPTY0004.

- $a has static type empty-sequence()
- we have next the expression "$b as xs:integer in $a"
- the FS rules say the prime type of $a must be a subtype of xs:integer
- prime(empty-sequence()) results in none
- none is not a subtype of xs:integer, hence XPTY0004

This applies to the following tests:
K-QuantExprWith-21.xq
K-QuantExprWith-22.xq

Tx,
Marc
Comment 1 Frans Englich 2006-07-05 12:19:42 UTC 
Fixed in CVS(I hope!), by adding XPTY0004 as an alternative result for K-QuantExprWith-21 and K-QuantExprWith-22.

Since this report was resolved as suggested, I am changing status to CLOSED.