<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>17462</bug_id>
          
          <creation_ts>2012-06-11 15:33:39 +0000</creation_ts>
          <short_desc>[QT3TS] K-SeqExprCast-3, 4, 7, 9-13, K-SeqExprCastable-4 to -6, 12, 13</short_desc>
          <delta_ts>2012-10-10 13:38:37 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XPath / XQuery / XSLT</product>
          <component>XQuery 3 &amp; XPath 3 Test Suite</component>
          <version>Working drafts</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Windows NT</op_sys>
          <bug_status>RESOLVED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Tim Mills">tim</reporter>
          <assigned_to name="O&apos;Neil Delpratt">oneil</assigned_to>
          
          
          <qa_contact name="Mailing list for public feedback on specs from XSL and XML Query WGs">public-qt-comments</qa_contact>

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>68920</commentid>
    <comment_count>0</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2012-06-11 15:33:39 +0000</bug_when>
    <thetext>Tests such as 

&apos;string&apos; cast as xs:anySimpleType
&apos;string&apos; cast as xs:untyped
&apos;string&apos; cast as xs:anyType
3 cast as xs:doesNotExist
&apos;string&apos; castable as xs:anySimpleType
&apos;string&apos; 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.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>68967</commentid>
    <comment_count>1</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2012-06-12 11:07:10 +0000</bug_when>
    <thetext>K2-DefaultNamespaceProlog-12 has a similar problem.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>74417</commentid>
    <comment_count>2</comment_count>
    <who name="O&apos;Neil Delpratt">oneil</who>
    <bug_when>2012-09-25 11:20:39 +0000</bug_when>
    <thetext>I suggest for these tests cases that we include in the result the following opions:

         &lt;any-of&gt;
             ...
            &lt;error code=&quot;XQST0052&quot;/&gt;
            &lt;error code=&quot;XPST0051&quot;/&gt;
         &lt;/any-of&gt;

Do you agree?</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>74418</commentid>
    <comment_count>3</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2012-09-25 11:25:55 +0000</bug_when>
    <thetext>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.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>74419</commentid>
    <comment_count>4</comment_count>
    <who name="O&apos;Neil Delpratt">oneil</who>
    <bug_when>2012-09-25 11:32:58 +0000</bug_when>
    <thetext>(In reply to comment #3)
&gt; As this shows a difference between XQ10 and XQ30 behaviour, I think the tests
&gt; will have to be duplicated with appropriate dependencies on XQ10 or XQ30.

Yes it makes sense. I will add the new tests for XQ30</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>74424</commentid>
    <comment_count>5</comment_count>
    <who name="O&apos;Neil Delpratt">oneil</who>
    <bug_when>2012-09-25 13:57:33 +0000</bug_when>
    <thetext>Test cases added and committed to cvs</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>74430</commentid>
    <comment_count>6</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2012-09-25 15:05:05 +0000</bug_when>
    <thetext>The &apos;old&apos; tests need to be marked

   &lt;dependency type=&quot;spec&quot; value=&quot;XQ10&quot;/&gt;</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>74436</commentid>
    <comment_count>7</comment_count>
    <who name="O&apos;Neil Delpratt">oneil</who>
    <bug_when>2012-09-25 15:24:38 +0000</bug_when>
    <thetext>Ok. Made the change as suggested. Committed to cvs.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>74635</commentid>
    <comment_count>8</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2012-09-27 09:57:34 +0000</bug_when>
    <thetext>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).</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>74637</commentid>
    <comment_count>9</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2012-09-27 10:02:21 +0000</bug_when>
    <thetext>Test K2-DefaultNamespaceProlog-12 also needs to be duplicated and fixed for XQ30+/XP30+ to expect XQST0052.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>74925</commentid>
    <comment_count>10</comment_count>
    <who name="O&apos;Neil Delpratt">oneil</who>
    <bug_when>2012-10-01 14:24:25 +0000</bug_when>
    <thetext>Test cases mentioned in comment #8 and comment #9 now fixed</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>75809</commentid>
    <comment_count>11</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2012-10-10 10:09:45 +0000</bug_when>
    <thetext>Tests K-SeqExprCast-4a and K-SeqExprCastable-5a need to be updated to expect XPST0080 after the decision in yesterday&apos;s teleconference regarding Bug 19090.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>75811</commentid>
    <comment_count>12</comment_count>
    <who name="O&apos;Neil Delpratt">oneil</who>
    <bug_when>2012-10-10 10:23:34 +0000</bug_when>
    <thetext>(In reply to comment #11)
&gt; Tests K-SeqExprCast-4a and K-SeqExprCastable-5a need to be updated to expect
&gt; XPST0080 after the decision in yesterday&apos;s teleconference regarding Bug
&gt; 19090.

Ok. Error code changed accordingly.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>75826</commentid>
    <comment_count>13</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2012-10-10 13:20:34 +0000</bug_when>
    <thetext>K-SeqExprCastable-5a still appears to be unchanged.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>75827</commentid>
    <comment_count>14</comment_count>
    <who name="O&apos;Neil Delpratt">oneil</who>
    <bug_when>2012-10-10 13:38:37 +0000</bug_when>
    <thetext>(In reply to comment #13)
&gt; 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</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>