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 1692 - [FS] iterative application of the rule on union types
Summary: [FS] iterative application of the rule on union types
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Windows 2000
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-17 21:47 UTC by Fred Zemke
Modified: 2007-01-16 17:34 UTC (History)
0 users

See Also:


Attachments

Description Fred Zemke 2005-07-17 21:47:26 UTC
4.1.5 Function calls
Under "static type analysis", it is worth stating explicitly
that the second inference can be used iteratively to handle
functions with more than one argument whose type is a union.
Comment 1 Jerome Simeon 2006-04-11 22:48:16 UTC
The corresponding rules has been moved to Section B.2, and now uses an
ellipsis (T1,1|...|Tm,n) which directly covers cases where more than
one argument has a union. Added some text to re-emphasize that point.

- Jerome