<?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>20877</bug_id>
          
          <creation_ts>2013-02-05 15:35:45 +0000</creation_ts>
          <short_desc>[XQX30] contextItemDecl</short_desc>
          <delta_ts>2013-11-19 00:17:22 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XPath / XQuery / XSLT</product>
          <component>XQueryX 3.0</component>
          <version>Candidate Recommendation</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="Jim Melton">jim.melton</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>82578</commentid>
    <comment_count>0</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2013-02-05 15:35:45 +0000</bug_when>
    <thetext>The contextItemDecl permits the context item type to be declared as any sequence type.  To be consistent with XQuery, it should only permit item types.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>84542</commentid>
    <comment_count>1</comment_count>
    <who name="Jim Melton">jim.melton</who>
    <bug_when>2013-03-18 01:21:02 +0000</bug_when>
    <thetext>Indeed, you are correct.  I note that this is mostly harmless, because the semantics of XQueryX are defined as the semantics of the XQuery that results from applying the XQueryX stylesheet to an XQueryX document.  If a sequence type that is not simply an item type were specified in the XQueryX document as the type of the context item, the resulting XQuery would be syntactically invalid, meaning that the XQueryX was invalid. 

However, at the cost of several hours, I was able to modify the definition of contextItemDecl in the XQueryX schema and stylesheet to accommodate your suggestion. 

I am marking this bug RESOLVED/FIXED.  If you agree, please mark it CLOSED.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>87346</commentid>
    <comment_count>2</comment_count>
    <who name="Tim Mills">tim</who>
    <bug_when>2013-05-07 16:16:50 +0000</bug_when>
    <thetext>Thanks.  I&apos;m happy that this resolves the problem.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>96485</commentid>
    <comment_count>3</comment_count>
    <who name="Jim Melton">jim.melton</who>
    <bug_when>2013-11-19 00:17:22 +0000</bug_when>
    <thetext>The author of the original bug report agrees that it has been resolved to his satisfaction.  The fact that it was not marked CLOSED at the time was accidental, so I am marking it CLOSED now.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>