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 1675 - [FS] editorial: 4.11 Quantified Expressions
Summary: [FS] editorial: 4.11 Quantified Expressions
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: 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 02:37 UTC by Michael Dyck
Modified: 2007-01-16 17:33 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-17 02:37:19 UTC 
4.11 Quantified Expressions

DEv / rule [1-8] / premise 1
DErr / rule (2|4|5|6) / premise 1
"dynEnv |- Expr1 => Item1 ... Itemn"
    Add commas on either site of ellipsis.

DEv
before rule 3,4,7,8
"all evaluations of the satisfies expressions yields"
    s/yields/yield/
Comment 1 Jerome Simeon 2005-07-19 17:44:54 UTC 
Thank you for your comment. Each of these items has been addressed as
you suggested.
Comment 2 Michael Dyck 2006-04-25 07:58:43 UTC 
In the CR:
-- commas have been added to rule 1, but not rules 2 to 8; and
-- s/yields/yield/ has been done before rule 3, but not 4, 7, or 8.
Comment 3 Jerome Simeon 2006-04-25 17:17:15 UTC 
This should *really* be fixed now. Sorry about the previous incomplete fix.
- Jerome