<?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>4244</bug_id>
          
          <creation_ts>2007-01-17 08:41:49 +0000</creation_ts>
          <short_desc>Static typing of K2-StringEqual-1 to 6</short_desc>
          <delta_ts>2007-01-22 09:01:43 +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>13643</commentid>
    <comment_count>0</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-17 08:41:49 +0000</bug_when>
    <thetext>In static typing implementations, declarations such as:

declare variable $vA as xs:string := (&quot;B STRING&quot;, current-time(), string(&lt;e&gt;cont
ent&lt;/e&gt;))[1];

may fail because under the FS typing rules, the RHS is typed as the union type ( xs:string | xs:time ).

(:*******************************************************:)
(: Test: K2-StringEqual-1                                :)
(: Written by: Frans Englich                             :)
(: Date: 2007-01-15T15:15:44+01:00                       :)
(: Purpose: Compare two values returned from fn:lower-case(). :)
(:*******************************************************:)
declare variable $vA as xs:string := (&quot;B STRING&quot;, current-time(), string(&lt;e&gt;cont
ent&lt;/e&gt;))[1];
declare variable $vB as xs:string := (&quot;b string&quot;, current-time(), string(&lt;e&gt;cont
ent&lt;/e&gt;))[1];
(lower-case($vA) eq lower-case($vB))</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13645</commentid>
    <comment_count>1</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-17 08:45:30 +0000</bug_when>
    <thetext>K2-GenCompEq-1 to 6 fail in a similar way.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13657</commentid>
    <comment_count>2</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-17 12:29:48 +0000</bug_when>
    <thetext>K2-compareFunc-4 to 9 have a similar problem.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13658</commentid>
    <comment_count>3</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-17 12:32:13 +0000</bug_when>
    <thetext>K2-CodepointEqual-1 to 6 also have this problem.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13659</commentid>
    <comment_count>4</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-17 12:52:11 +0000</bug_when>
    <thetext>... and K2-ContainsFunc-1 to 6</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13712</commentid>
    <comment_count>5</comment_count>
    <who name="Nick Jones">nick</who>
    <bug_when>2007-01-19 14:06:23 +0000</bug_when>
    <thetext>Not identical, but a similar problem in K2-SeqSubsequenceFunc-1 with:

declare variable $start as xs:integer := (current-time(), 2)[2];
declare variable $len as xs:integer := (current-time(), 1)[2];</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13729</commentid>
    <comment_count>6</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>13756</commentid>
    <comment_count>7</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-22 09:01:43 +0000</bug_when>
    <thetext>These are all now fixed.  THanks.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>