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 3700 - K-SeqExprTreat-11 and K-SeqExprTreat-12
Summary: K-SeqExprTreat-11 and K-SeqExprTreat-12
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: unspecified
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-09-12 09:11 UTC by Tim Mills
Modified: 2006-09-22 10:23 UTC (History)
0 users

See Also:

Attachments

Description Tim Mills 2006-09-12 09:11:03 UTC 
"During static analysis:  The static type of the treat expression is type1. This enables the expression to be used as an argument of a function that requires a parameter of type1."

Expressions such as:

"asda" treat as xs:string + eq "asda"

fail under static type checking because eq accepts Type?, not Type+.

There is a related problem with K-SeqExprTreat-13.
Comment 1 Frans Englich 2006-09-15 18:15:13 UTC 
The three tests were changed to also allow XPTY0004.

Feel free to verify this change. This is fixed in CVS, in XQTS_current.zip. For instruction to download this, see http://www.w3.org/XML/Query/test-suite/, section "Accessing our Source Files". XQTS_current.zip resides in directory PublicPagesStagingArea/.

If the resolution is not satisfactory, re-open this report. Otherwise, if the resolution is acceptable, feel free to change status to CLOSED. Thanks for reporting!


Frans
Comment 2 Tim Mills 2006-09-22 10:23:57 UTC 
Thanks.