<?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>12909</bug_id>
          
          <creation_ts>2011-06-08 12:37:34 +0000</creation_ts>
          <short_desc>[XQuery30] Should annotations be also possible for inline functions?</short_desc>
          <delta_ts>2011-07-26 08:22:50 +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>XQuery 3.0</component>
          <version>Working drafts</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Windows NT</op_sys>
          <bug_status>RESOLVED</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="Peter M. Fischer">peter.fischer</reporter>
          <assigned_to name="Jonathan Robie">jonathan.robie</assigned_to>
          <cc>g</cc>
    
    <cc>jim.melton</cc>
          
          <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>49317</commentid>
    <comment_count>0</comment_count>
    <who name="Peter M. Fischer">peter.fischer</who>
    <bug_when>2011-06-08 12:37:34 +0000</bug_when>
    <thetext>The current XQuery 3.0 working drafts permits annotations on variables and functions that are defined in the prolog.

Somewhat surprisingly, inline functions currently do not seem to allow annotations.
Clearly, there is no need for the built-in annotations like %nondeterministic or %private, but user-defined annotations or later %updating/%sequential have a clear use case.

Is there any particular reason why annotations on inline functions are currently not supported, in particular since they had been present in John Snelson&apos;s proposal?

http://john.snelson.org.uk/proposal-to-add-function-annotations-to-xquer</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>51475</commentid>
    <comment_count>1</comment_count>
    <who name="Ghislain Fourny">g</who>
    <bug_when>2011-07-26 08:22:50 +0000</bug_when>
    <thetext>A proposal along the lines of John Snelson&apos;s original proposal has been accepted to support annotations on inline functions.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>