<?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>3826</bug_id>
          
          <creation_ts>2006-10-13 13:41:25 +0000</creation_ts>
          <short_desc>Static typing of K-SeqOneOrMoreFunc-3</short_desc>
          <delta_ts>2007-01-15 10:58:25 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XML Query Test Suite</product>
          <component>XML Query Test Suite</component>
          <version>1.0.1</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Windows XP</op_sys>
          <bug_status>CLOSED</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="Nick Jones">nick</reporter>
          <assigned_to name="Frans Englich">frans.englich</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>12427</commentid>
    <comment_count>0</comment_count>
    <who name="Nick Jones">nick</who>
    <bug_when>2006-10-13 13:41:25 +0000</bug_when>
    <thetext>This test:

one-or-more(&quot;one&quot;) eq &quot;one&quot;

does not static type check as the types are

LHS: string+
RHS: anyAtomicType?

As has happened with similar cases, could &quot;one&quot; be set as the expected result
for the test harness to check, rather than doing such a test in the query.


(As a side note, is it preferable to submit lots of reports describing why each group of tests doesn&apos;t check. Or would a big list of tests which don&apos;t type check be prefered?)</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>12428</commentid>
    <comment_count>1</comment_count>
    <who name="Frans Englich">frans.englich</who>
    <bug_when>2006-10-13 13:48:16 +0000</bug_when>
    <thetext>I think a significant factor is how much work it is for you to split the test cases into reports. I&apos;d say:

Report K-* and K-2* tests in reports separately from tests that does not start with &quot;K&quot;. Other than that feel free to do it pretty much at your convenience. For example, perhaps group tests that have the same problem in each report(probably leading to one big list of tests that use &apos;eq&apos; to check the result).</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13496</commentid>
    <comment_count>2</comment_count>
    <who name="Frans Englich">frans.englich</who>
    <bug_when>2007-01-12 18:52:34 +0000</bug_when>
    <thetext>An attempted fix has been committed to CVS, and should be part of XQTS_current.zip. Feel free to verify that the fix is acceptable, and if so, change status to CLOSED. If the attempted fix is not acceptable, reopen this report.

If no opinion about this resolution is expressed within two weeks, it will be closed.

Along with the fix for this report, was committed fixes for other reports as well. Also, a significant amount of new tests were added to cover missing areas and changes in the specifications.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>