<?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>7921</bug_id>
          
          <creation_ts>2009-10-14 16:34:14 +0000</creation_ts>
          <short_desc>[XQTS] CVS: errors in TestSources modules</short_desc>
          <delta_ts>2010-03-16 16:03:52 +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 NT</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="John Snelson">john.snelson</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>28354</commentid>
    <comment_count>0</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2009-10-14 16:34:14 +0000</bug_when>
    <thetext>There are missing dollar signs in the following module variable declarations.

errata6-module4.xq:declare variable errata6_4:var as a:hatsize := a:hatsize(3);
errata8-module1b.xq:declare variable errata8_1b:var := errata8_1a:fun();
errata8-module2b.xq:declare variable errata8_2b:var := errata8_2a:fun2();</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>28382</commentid>
    <comment_count>1</comment_count>
    <who name="John Snelson">john.snelson</who>
    <bug_when>2009-10-15 21:04:02 +0000</bug_when>
    <thetext>Fixed.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>28399</commentid>
    <comment_count>2</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2009-10-16 15:09:05 +0000</bug_when>
    <thetext>Thanks.

I suspect that the errata6-004.xq should omit the &quot;import schema&quot; declaration if XQST0036 is the expected result.

(:*******************************************************:)
(: Description: Test of XQST0036 for unknown simple type in imported global vari
able :)
(:********************************************************** :)

(: insert-start :)
import module namespace errata6_4=&quot;http://www.w3.org/TestModules/errata6-4&quot;;
import schema namespace a = &quot;http://www.w3.org/XQueryTest/userDefinedTypes&quot;;
declare variable $input-context external;
(: insert-end :)

$errata6_4:var</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>28400</commentid>
    <comment_count>3</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2009-10-16 15:27:46 +0000</bug_when>
    <thetext>Could you please explain why test errata8-002 does not exhibit a circularity?

[Definition: A module M1 directly depends on another module M2 (different from M1) if a variable or function declared in M1 depends on a variable or function declared in M2.] It is a static error [err:XQST0093] to import a module M1 if there exists a sequence of modules M1 ... Mi ... M1 such that each module directly depends on the next module in the sequence (informally, if M1 depends on itself through some chain of module dependencies.)


Module errata8_2a declares function errata8_2a:fun() which depends on  $errata8_2b:var.  Therefore errata8_2a depends on errata8_2b

Module errata8_2b declared variable errata8_2b:var which depends on errata8_2a:fun2().  Therefore errata8_2b depends on errata8_2a.

This gives us the sequence of modules:

errata8_2a ... errata8_2b ... errata8_2a

which exhibits the circularity.

Or am I mistaken?





</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>31690</commentid>
    <comment_count>4</comment_count>
    <who name="John Snelson">john.snelson</who>
    <bug_when>2010-02-10 00:50:05 +0000</bug_when>
    <thetext>(In reply to comment #2)
&gt; I suspect that the errata6-004.xq should omit the &quot;import schema&quot; declaration
&gt; if XQST0036 is the expected result.

Fixed.

(In reply to comment #3)
&gt; Could you please explain why test errata8-002 does not exhibit a circularity?
&gt; 
&gt; [Definition: A module M1 directly depends on another module M2 (different from
&gt; M1) if a variable or function declared in M1 depends on a variable or function
&gt; declared in M2.] It is a static error [err:XQST0093] to import a module M1 if
&gt; there exists a sequence of modules M1 ... Mi ... M1 such that each module
&gt; directly depends on the next module in the sequence (informally, if M1 depends
&gt; on itself through some chain of module dependencies.)
&gt; 
&gt; 
&gt; Module errata8_2a declares function errata8_2a:fun() which depends on 
&gt; $errata8_2b:var.  Therefore errata8_2a depends on errata8_2b
&gt; 
&gt; Module errata8_2b declared variable errata8_2b:var which depends on
&gt; errata8_2a:fun2().  Therefore errata8_2b depends on errata8_2a.
&gt; 
&gt; This gives us the sequence of modules:
&gt; 
&gt; errata8_2a ... errata8_2b ... errata8_2a
&gt; 
&gt; which exhibits the circularity.
&gt; 
&gt; Or am I mistaken?

You&apos;re correct, although I thought the test should pass. I&apos;m keeping that test the way it is as it makes an interesting test case, and adding a new pass scenario.
</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>31734</commentid>
    <comment_count>5</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2010-02-10 11:30:33 +0000</bug_when>
    <thetext>errata6-004 is fixed - thanks.

errata8-002 appears to have some excess whitespace in its expected result. 

Expected &apos;10&amp;#xA;&apos;, was &apos;10&apos;</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>31738</commentid>
    <comment_count>6</comment_count>
    <who name="John Snelson">john.snelson</who>
    <bug_when>2010-02-10 12:10:27 +0000</bug_when>
    <thetext>(In reply to comment #5)
&gt; errata8-002 appears to have some excess whitespace in its expected result. 
&gt; 
&gt; Expected &apos;10&amp;#xA;&apos;, was &apos;10&apos;

Fixed.

</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>