<?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>3699</bug_id>
          
          <creation_ts>2006-09-12 06:49:12 +0000</creation_ts>
          <short_desc>nodecomparisonerr-1</short_desc>
          <delta_ts>2006-09-21 06:21:07 +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>unspecified</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>
          <dependson>3733</dependson>
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Tim Mills">tim</reporter>
          <assigned_to name="Andrew Eisenberg">andrew.eisenberg</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>11614</commentid>
    <comment_count>0</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2006-09-12 06:49:12 +0000</bug_when>
    <thetext>Although the test

fn:count(() is 100)

permits a type checking error, it also permits the result 0.

However, the rules for evaluating this state that:

1. The operands of a node comparison are evaluated in implementation-dependent order.
2. Each operand must be either a single node or an empty sequence; otherwise a type error is raised [err:XPTY0004].
3. If either operand is an empty sequence, the result of the comparison is an empty sequence, and the implementation need not evaluate the other operand or apply the operator. However, an implementation may choose to evaluate the other operand in order to determine whether it raises an error.

My reading of this is that (2) ensure that an error is raised before reaching stage (3).  If this is not the case, should the order of (2) and (3) not be switched for clarity?</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>11805</commentid>
    <comment_count>1</comment_count>
    <who name="Andrew Eisenberg">andrew.eisenberg</who>
    <bug_when>2006-09-15 19:33:58 +0000</bug_when>
    <thetext>I believe that this test case is correct and section 3.5.3, Node Comparisons, should be changed in the way that you suggest.

I will resolve this bug report when the WGs consider this change.
</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>11895</commentid>
    <comment_count>2</comment_count>
    <who name="Andrew Eisenberg">andrew.eisenberg</who>
    <bug_when>2006-09-20 20:57:11 +0000</bug_when>
    <thetext>The WGs considered this in http://www.w3.org/Bugs/Public/show_bug.cgi?id=3733 and agreed to make the change to the order of the rules that you suggested.

As such, I am not making any change to this test case.

Please mark this bug report closed if you agree with this resolution.

</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>11932</commentid>
    <comment_count>3</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2006-09-21 06:21:07 +0000</bug_when>
    <thetext>Thanks.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>