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 20862 - xs:error and subtype relationship
Summary: xs:error and subtype relationship
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3.0 (show other bugs)
Version: Candidate Recommendation
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: 2013-02-04 14:10 UTC by Ghislain Fourny
Modified: 2013-06-17 23:36 UTC (History)
0 users

See Also:

Attachments

Description Ghislain Fourny 2013-02-04 14:10:43 UTC 
In paragraph 2.5.6.1 ( http://www.w3.org/TR/xquery-30/#id-seqtype-subtype ) it is said that subtype(Ai*, Bi?) always returns false.

If we do support the predefined XML Schema 1.1 simple type xs:error which is a union type without member types, should there not be an exception in the case where Ai is a pure union type with no member types? The same applies for Ai+ and Bi.
Comment 2 Jonathan Robie 2013-05-21 16:27:33 UTC 
The Working Group accepted comment #1, I will add a note saying this is primarily for the sake of xs:error.
Comment 3 Jonathan Robie 2013-06-17 23:36:37 UTC 
I have changed that cell from:

  false

to:

  false (exception: <code>true</code> when Ai is a pure union type 
  with no member types)

   Note:
      xs:error is a pure union type with no member types; this is 
      the main motivation for the exception noted in the above table.