1776 2005-07-20 02:20:18 +0000 [FS] editorial: 8.2.2.2 Dynamic semantics of axes 2008-08-29 19:08:53 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck jmdyck public-qt-comments oldest_to_newest 4976 0 jmdyck 2005-07-20 02:20:18 +0000 8.2.2.2 Dynamic semantics of axes Sem / rule 5 / conclusion "axis attribute:: of ElementName { AttributeValue,ElementValue }" After "of", insert "element". (leftover from last year, comment #213) (very last line of the section) "dynEnv |- axis Axis of NodeValue => () otherwise." Presentationally, this looks like a judgment form declaration. It would be nice if you could at least make it *look* like an inference rule. E.g., have a single premise saying "otherwise". (leftover from last year, comment #214) 8980 1 simeon 2006-03-30 17:01:13 +0000 First comment fixed as suggested. Second comment: removed 'otherwise' and added some clarification in the text before. - Jerome 11769 2 jmdyck 2006-09-15 05:48:01 +0000 Re second comment: It would still be nice if you could make it look like an inference rule, as you did at the end of 8.2.3.1.2 (in response to Bug 1778) and 8.2.3.2.2 (in response to Bug 1780). 21687 3 jmdyck 2008-08-29 19:08:33 +0000 The request in the previous comment has been entered as FS erratum E034, and the change has been committed to the source files for the next edition of the FS document. Since that was the only unresolved point in this issue, I'm marking it resolved-FIXED, and CLOSED.