<?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>4187</bug_id>
          
          <creation_ts>2007-01-10 16:55:03 +0000</creation_ts>
          <short_desc>Static typing of K-ContextPositionFunc-2</short_desc>
          <delta_ts>2007-01-17 10:20: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.2</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>13415</commentid>
    <comment_count>0</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-10 16:55:03 +0000</bug_when>
    <thetext>The left hand operand to &quot;eq&quot; is statically typed as a zero-or-more sequence, resulting in a static type check error.

(:*******************************************************:)
(: Test: K-ContextPositionFunc-2                         :)
(: Written by: Frans Englich                             :)
(: Date: 2006-10-05T18:29:41+02:00                       :)
(: Purpose: A test whose essence is: `(1, 2, 3)[if(1) then 1 else position()] eq
 1`. :)
(:*******************************************************:)
(1, 2, 3)[if(1) then 1 else position()] eq 1</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13417</commentid>
    <comment_count>1</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-10 17:00:50 +0000</bug_when>
    <thetext>There are similar problems in K-ContextLastFunc2 and K-ContextLastFunc29.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13505</commentid>
    <comment_count>2</comment_count>
    <who name="Frans Englich">frans.englich</who>
    <bug_when>2007-01-12 18:52:37 +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><long_desc isprivate="0" >
    <commentid>13651</commentid>
    <comment_count>3</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-17 10:20:25 +0000</bug_when>
    <thetext>K-ContextPositionFunc-2, K-ContextLastFunc2 and K-ContextLastFunc29 are now fixed.  Thanks.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>