- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 19 Jul 2005 23:15:53 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1763
Summary: [FS] editorial: 7.2.10 The fn:min, fn:max, fn:avg, and
fn:sum functions
Product: XPath / XQuery / XSLT
Version: Last Call drafts
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: Formal Semantics
AssignedTo: simeon@us.ibm.com
ReportedBy: jmdyck@ibiblio.org
QAContact: public-qt-comments@w3.org
7.2.10 The fn:min, fn:max, fn:avg, and fn:sum functions
Introduction
"The dynamic evaluation rules for aggregate functions"
No such thing. Perhaps s/evaluation rules/semantics/
STA / rule (1|2|3|4)
"ItemType"
Change all occurrences of "ItemType" to "FormalItemType".
STA / rule (1|2|3|4)
"Type0 in { ... }"
I think the rule reads better if this premise is last.
STA / rule (1|2|3|4) / last two premises
"statEnv |- ItemTypei can be promoted to Type0 1 <= i <= n"
I think you want *all* ItemTypes to be promotable to Type0, not just
one. Change last line to
statEnv |- ItemType1 can be promoted to Type0
...
statEnv |- ItemTypen can be promoted to Type0
"For fn:avg, the target type Type is either ..."
"For fn:sum, the target type Type is either ..."
s/Type/Type0/
Received on Tuesday, 19 July 2005 23:15:58 UTC