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 28895 - [xp3.1] Subtype rules for arrays
Summary: [xp3.1] Subtype rules for arrays
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XPath 3.1 (show other bugs)
Version: Last Call drafts
Hardware: SGI 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: 2015-07-05 19:52 UTC by Michael Kay
Modified: 2015-07-06 14:31 UTC (History)
1 user (show)

See Also:

Attachments

Description Michael Kay 2015-07-05 19:52:25 UTC 
In 2.5.6.2 rule 32 says

Ai is array(X) and Bi is function(Y), and X is a subtype of Y.

Here function(Y) appears to be a typo for array(Y), and the second clause (for consistency and precision) should say "and subtype(X, Y)".