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 1611 - section 2 is not self-contained and ought to be
Summary: section 2 is not self-contained and ought to be
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-15 00:08 UTC by Fred Zemke
Modified: 2007-01-16 17:28 UTC (History)
0 users

See Also:

Attachments

Description Fred Zemke 2005-07-15 00:08:06 UTC 
2.1.5 Putting it together
The second example shows the premise 
"statEnv |- VarName of var expands to expanded-QName".
The predicate "of var expands to" has not been introduced.
Granted, not every predicate can be discussed in this introductory
section, but shouldn't the introduction at least be intelligible
as a stand-alone entity?  This predicate should be 
discussed in section 2.1.2 "Notations for judgments".
Comment 1 Jerome Simeon 2005-07-19 16:46:27 UTC 
I believe this is editorial.
- Jerome
Comment 2 Mary Fernandez 2006-04-11 22:17:02 UTC 
Fixed in earlier draft.