This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Tests such as 'string' cast as xs:anySimpleType 'string' cast as xs:untyped 'string' cast as xs:anyType 3 cast as xs:doesNotExist 'string' castable as xs:anySimpleType 'string' castable as xs:untyped which expect XPST0051 in XQ10 should expect in XQST0052 XQ30. This is because of the change of SingleType (as used in cast and castable expressions) from AtomicType? to SimpleTypeName?. err:XPST0051 It is a static error if a QName that is used as an AtomicType in a SequenceType is not defined in the in-scope schema types as an atomic type. err:XQST0052 The type must be the name of a type defined in the in-scope schema types, and the {variety} of the type must be simple.
K2-DefaultNamespaceProlog-12 has a similar problem.
I suggest for these tests cases that we include in the result the following opions: <any-of> ... <error code="XQST0052"/> <error code="XPST0051"/> </any-of> Do you agree?
As this shows a difference between XQ10 and XQ30 behaviour, I think the tests will have to be duplicated with appropriate dependencies on XQ10 or XQ30.
(In reply to comment #3) > As this shows a difference between XQ10 and XQ30 behaviour, I think the tests > will have to be duplicated with appropriate dependencies on XQ10 or XQ30. Yes it makes sense. I will add the new tests for XQ30
Test cases added and committed to cvs
The 'old' tests need to be marked <dependency type="spec" value="XQ10"/>
Ok. Made the change as suggested. Committed to cvs.
Sorry, I missed one out. K-SeqExprCast-5 has a similar problem. Also, the annotations should also include XP20 (for those marked with XQ10) and XP30 (for those marked with XQ30). Furthermore, I suspect that K-SeqExprCast-4a and K-SeqExprCastable-5a should expect XPST0080, but the definition of XPST0080 will have to extend to cover this. I have raised this as a bug against the spec (Bug 19090).
Test K2-DefaultNamespaceProlog-12 also needs to be duplicated and fixed for XQ30+/XP30+ to expect XQST0052.
Test cases mentioned in comment #8 and comment #9 now fixed
Tests K-SeqExprCast-4a and K-SeqExprCastable-5a need to be updated to expect XPST0080 after the decision in yesterday's teleconference regarding Bug 19090.
(In reply to comment #11) > Tests K-SeqExprCast-4a and K-SeqExprCastable-5a need to be updated to expect > XPST0080 after the decision in yesterday's teleconference regarding Bug > 19090. Ok. Error code changed accordingly.
K-SeqExprCastable-5a still appears to be unchanged.
(In reply to comment #13) > K-SeqExprCastable-5a still appears to be unchanged. Oh, I made the mistake in changing K-SeqExprCast-5a instead. I have now fixed this and confirm the test case K-SeqExprCastable-5a has been updated accordingly