This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 27141 - [XP30] Undocumented incompatibility in XPath 3.0
Summary: [XP30] Undocumented incompatibility in XPath 3.0
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XPath 3.0 (show other bugs)
Version: Working drafts
Hardware: PC All
: P2 normal
Target Milestone: ---
Assignee: Jonathan Robie
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-10-23 10:21 UTC by Michael Kay
Modified: 2014-12-15 00:00 UTC (History)
0 users

See Also:

Attachments

Description Michael Kay 2014-10-23 10:21:20 UTC 

    


    


      



        
          Comment 1
        

        
          Michael Kay

        

        
        

        
          2014-10-23 10:25:36 UTC
        

      






The incompatibility observed in an XSLT 3.0 test case in bug #27140 should be noted in Appendix J.1 of the XPath 3.0 specification.

Specifically, if U is a union type with T as one of its members, and if E is an element with T as its type annotation, then in 2.0 the expression "E instance of element(*, U) returns false, while in 3.0 the same expression returns true.

    


    


      



        
          Comment 2
        

        
          Jonathan Robie

        

        
        

        
          2014-12-15 00:00:42 UTC
        

      






Fixed in internal working draft.