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 1723 - [FS] two inferences in 7.2.5 "Fn:collection" conclude with wrong quantifier
Summary: [FS] two inferences in 7.2.5 "Fn:collection" conclude with wrong quantifier
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-18 21:38 UTC by Fred Zemke
Modified: 2007-01-16 17:39 UTC (History)
0 users

See Also:

Attachments

Description Fred Zemke 2005-07-18 21:38:03 UTC 
7.2.5 fn:collection and fn:doc
Functions & Operators says that the return type of fn:doc is
document? .  Therefore the static type of fn:doc when the 
argument is not a statically known document cannot be document,
it must be document? .  This is a problem in the last two 
inferences in this section.
Comment 1 Jerome Simeon 2006-04-10 18:38:00 UTC 
Good catch. Fixed as suggested.
- Jerome