<?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>27140</bug_id>
          
          <creation_ts>2014-10-23 10:15:31 +0000</creation_ts>
          <short_desc>[xslt3ts] match-144</short_desc>
          <delta_ts>2015-05-06 21:16:28 +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 Test Suite</component>
          <version>Working 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="Abel Braaksma">abel.online</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>113636</commentid>
    <comment_count>0</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2014-10-23 10:15:31 +0000</bug_when>
    <thetext>In test match-144 there are two template rules that match the same node:

&lt;xslt:template match=&quot;element(*, pre:partNumberType)&quot;&gt;

and

&lt;xslt:template match=&quot;element(*, pre:partIntegerUnion)&quot;&gt;

This is because partIntegerUnion is a union type with partNumberType as one of its members.

The test results are assuming that pre:partNumberType will match. But in fact the match is ambiguous, so the later rule in document order should be taken.

This test demonstrates an incompatiblity between 3.0 and 2.0, caused by changes to the handling of unions in the XPath 3.0 type rules.

I propose to resolve it by adding priorities to the rules.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>113637</commentid>
    <comment_count>1</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2014-10-23 10:18:22 +0000</bug_when>
    <thetext>Also affects tests match-145, match-164, and match-169. Possibly also, subject to confirmation, match-211.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>113640</commentid>
    <comment_count>2</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2014-10-23 12:11:34 +0000</bug_when>
    <thetext>The situation with match-211 is (as suspected) different. I think the expected results are correct; Saxon was getting them wrong because of a bug (failing to recognize a Union type V as being derived-from U when V is derived from U by restriction.)</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>118725</commentid>
    <comment_count>3</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2015-03-20 15:19:15 +0000</bug_when>
    <thetext>I believe these tests have been fixed in cases where a fix was needed.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>120174</commentid>
    <comment_count>4</comment_count>
    <who name="Abel Braaksma">abel.braaksma</who>
    <bug_when>2015-05-06 21:16:28 +0000</bug_when>
    <thetext>Was resolved &gt; 30 days ago, closing.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>