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 1656 - [FS] undefined notation in 4.1.2 "Variable references" and elsewhere
Summary: [FS] undefined notation in 4.1.2 "Variable references" and elsewhere
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-16 00:44 UTC by Fred Zemke
Modified: 2007-01-16 17:31 UTC (History)
0 users

See Also:

Attachments

Description Fred Zemke 2005-07-16 00:44:16 UTC 
4.1.2 Variable references
"Dynamic evaluation", second inference, third line:
the notation "URI => module_dynEnv dynEnv1", where 
module_dynEnv1 is a subscript, is not defined, here or in
Section 2, "Preliminaries".  This notation is also found in 
4.1.5 "Function calls" in the rules for evaluating an imported
function.  Perhaps "module_dynEnv |- URI => dynEnv1" would
be a better way to express it.
Comment 1 Jerome Simeon 2005-07-19 17:26:18 UTC 
I believe this is editorial.
- Jerome
Comment 2 Fred Zemke 2005-07-19 22:55:33 UTC 
This notation is defined in 5.2 "Module declaration".
Comment 3 Jerome Simeon 2006-04-13 18:54:09 UTC 
Added pointers to 5.2 in the corresponding sections.
- Jerome