<?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>28224</bug_id>
          
          <creation_ts>2015-03-16 10:30:50 +0000</creation_ts>
          <short_desc>[XSLT 3.0] Type-determined usage for union types</short_desc>
          <delta_ts>2015-10-29 09:50:27 +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>Last Call drafts</version>
          <rep_platform>PC</rep_platform>
          <op_sys>All</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="Michael Kay">mike</reporter>
          <assigned_to name="Michael Kay">mike</assigned_to>
          <cc>abel.braaksma</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>118617</commentid>
    <comment_count>0</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2015-03-16 10:30:50 +0000</bug_when>
    <thetext>The type-determined usage for union types should be the same as for atomic types, because they trigger atomization in the same way as atomic types. (It is currently the same as for nodes).</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>118667</commentid>
    <comment_count>1</comment_count>
    <who name="Abel Braaksma">abel.braaksma</who>
    <bug_when>2015-03-18 12:12:58 +0000</bug_when>
    <thetext>Related, there are two small typos, both under 19.8.9.8 (fn:fold-left) and 19.8.9.10 (fn:for-each) where &quot;type determined usage&quot; is written (without hyphen) and not linked to the definition.

I agree to the suggestion in the bug description. Note that under 6.6.4 Streamable Templates, this was already recognized (but see bug 28154, this should become type-adjusted posture and sweep):

&lt;quote&gt;
The xsl:template element has an as attribute that specifies an atomic or union type.
&lt;/quote&gt;</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>119581</commentid>
    <comment_count>2</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2015-04-16 22:05:05 +0000</bug_when>
    <thetext>The change was accepted and has been applied.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>