<?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>4245</bug_id>
          
          <creation_ts>2007-01-17 08:49:39 +0000</creation_ts>
          <short_desc>Static typing of K2-NodeSame-1</short_desc>
          <delta_ts>2007-01-22 08:54:23 +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>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Tim Mills">tim</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>13646</commentid>
    <comment_count>0</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-17 08:49:39 +0000</bug_when>
    <thetext>The LHS of operator &quot;is&quot; has a zero-or-more sequence type, causing an static type check error.

(:*******************************************************:)
(: Test: K2-NodeSame-1                                   :)
(: Written by: Frans Englich                             :)
(: Date: 2007-01-15T15:15:44+01:00                       :)
(: Purpose: Ensure node identity is is correct for variables and element constru
ctors. :)
(:*******************************************************:)
declare variable $var := &lt;elem/&gt;;
                  not(&lt;a&gt;{$var}&lt;/a&gt;/elem is $var)</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13730</commentid>
    <comment_count>1</comment_count>
    <who name="Frans Englich">frans.englich</who>
    <bug_when>2007-01-21 12:45:54 +0000</bug_when>
    <thetext>A fix has been attempted in CVS, and XQTS_current.zip has been updated to contain the new change. If it can be verified that the change is correct, it would be appreciated.

If this resolution is satisfiable, feel free to change status to closed. Otherwise, reopen this report. If no opinion on the resolution is expressed within two weeks, I will change status to closed.

This change to this report was part of a batch-change of several reports.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13750</commentid>
    <comment_count>2</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-22 08:54:23 +0000</bug_when>
    <thetext>K2-NodeSame-1 is now fixed.  Thanks.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>