1763 2005-07-19 23:15:53 +0000 [FS] editorial: 7.2.10 The fn:min, fn:max, fn:avg, and fn:sum functions 2007-02-25 23:19:08 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4945 0 jmdyck 2005-07-19 23:15:53 +0000 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/ 8967 1 simeon 2006-03-30 00:43:19 +0000 Fixed as suggested. - Jerome 11615 2 jmdyck 2006-09-12 07:37:58 +0000 You missed this one: "For fn:avg, the target type Type is either ..." Change Type to Type0. 13608 3 simeon 2007-01-16 18:04:07 +0000 Fixed. - Jerome 14103 4 jim.melton 2007-02-25 23:19:08 +0000 Closing bug because commenter has not objected to the resolution posted on 2007-01-16