<?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>29342</bug_id>
          
          <creation_ts>2015-12-17 17:25:18 +0000</creation_ts>
          <short_desc>[XSLT30] Arrow Expression streamability rules do not take dynamic function calls into account</short_desc>
          <delta_ts>2016-10-06 18:42:25 +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>XSLT 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="Abel Braaksma">abel.braaksma</reporter>
          <assigned_to name="Michael Kay">mike</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>124454</commentid>
    <comment_count>0</comment_count>
    <who name="Abel Braaksma">abel.braaksma</who>
    <bug_when>2015-12-17 17:25:18 +0000</bug_when>
    <thetext>Under 19.8.8 we say for Arrow Expressions:

See 19.8.8.13 Streamability of Static Function Calls.

But arrow expressions can take any parenthesized expression, which is not the same as &quot;just&quot; a static function call.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>124594</commentid>
    <comment_count>1</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2016-01-14 17:56:27 +0000</bug_when>
    <thetext>Since an Arrow Expression can be transformed into some other expression, we can assess its streamability by doing the transformation and then assessing the streamability of the result.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>124659</commentid>
    <comment_count>2</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2016-01-21 16:47:24 +0000</bug_when>
    <thetext>The WG discussed this and agreed that since an arrow expression is syntactic sugar, the streamability of arrow expressions can be defined as being equivalent to the streamability of the equivalent expression, i.e.

posture-and-sweep(A =&gt; F(B, C)) === posture-and-sweep(F(A, B, C)).</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>124660</commentid>
    <comment_count>3</comment_count>
    <who name="Abel Braaksma">abel.braaksma</who>
    <bug_when>2016-01-21 16:56:29 +0000</bug_when>
    <thetext>Should we say something specific about F itself being possibly an expression returning a function item, with usage inspection?</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>