<?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>4194</bug_id>
          
          <creation_ts>2007-01-11 08:49:53 +0000</creation_ts>
          <short_desc>Static typing of validateexpr-10, validateexpr-11</short_desc>
          <delta_ts>2007-09-14 12:54:44 +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>13440</commentid>
    <comment_count>0</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-01-11 08:49:53 +0000</bug_when>
    <thetext>The body of the validate expression is statically type checked as a zero-or-more sequence.  Our implementation is throwing a XQTY0030 error during type checking.  Could you please clarify whether this error should be thrown, or is that error code to be thrown only during evaluation?  If so, presumably XPTY0004 should be thrown by static typing implementations?




declare default element namespace &quot;http://www.w3.org/XQueryTestOrderBy&quot;;

(: name : validateexpr-10 :)
(: description : Evaluation of a validate expression that a newly strict validat
ed node does not have a parent (read from a file).:)

(: insert-start :)
import schema &quot;http://www.w3.org/XQueryTestOrderBy&quot;;
declare variable $input-context1 external;
(: insert-end :)

let $var := validate strict {$input-context1/DataValues/Strings}
return
  fn:count($var/parent::node())</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>16564</commentid>
    <comment_count>1</comment_count>
    <who name="Frans Englich">frans.englich</who>
    <bug_when>2007-09-14 09:34:52 +0000</bug_when>
    <thetext>A fix has been attempted in CVS, XQTS_current.zip is updated.

If the resolution is satisfactory, feel free to change status to CLOSED. Otherwise, reopen this report. If no feedback is returned within two weeks, status will be changed to CLOSED. Thanks for reporting!</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>16588</commentid>
    <comment_count>2</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2007-09-14 12:54:44 +0000</bug_when>
    <thetext>Thanks.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>