1780 2005-07-20 03:37:42 +0000 [FS] editorial: 8.2.3.2.2 (Dynamic semantics of) Kind Tests 2007-01-16 17:45:57 +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 4980 0 jmdyck 2005-07-20 03:37:42 +0000 8.2.3.2.2 (Dynamic semantics of) Kind Tests (Dynamic semantics of) Processing instruction, comment, and text kind tests. Sem 4 / rule 2 You need to connect StringLiteral to String. Something like String = fs:literal-to-string( StringLiteral ) (see Bug 1566) Sem 4 (very last line of section) 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 #235) But how could the immediately preceding rule *not* apply? 9106 1 simeon 2006-04-10 15:00:16 +0000 Fixed as suggested. Fixed node() to NodeTest in the last ('otherwise') rule. - Jerome