1758 2005-07-19 22:35:26 +0000 [FS] editorial: 7.2.5 The fn:collection and fn:doc functions 2007-02-25 23:18:54 +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 4936 0 jmdyck 2005-07-19 22:35:26 +0000 7.2.5 The fn:collection and fn:doc functions "if the argument is not a literal string or is a string but not defined in statEnv.collectionType" The corresponding rules are given in the opposite order. Swap the order in the prose, I think. STA / rule 3 / conclusion "fn:collection(Expr)" s/Expr/StringLiteral/ STA / rule 4 / premise 1 "statEnv |- Expr is not a StringLiteral" Delete "statEnv |-". STA / rule [34] / conclusion "... | processing-intruction | ..." s/intr/instr/ STA / rule 5 / premise 1 "statEnv |- statEnv.docType(StringLiteral) = ..." Delete "statEnv |-". "if the argument is not a literal string or is not defined in the domain of statEnv.docType" Again, the corresponding rules are given in the opposite order. Swap the order in the prose, I think. STA / rule 6 / conclusion "fn:doc(Expr)" s/Expr/StringLiteral/ STA / rule 7 / premise 1 not(Expr = StringLiteral) Regardless of statEnv and Expr, you can always find a binding for 'StringLiteral' such that the premise holds (i.e., even if Expr *is* a StringLiteral) which is not what you want. Change to: "Expr is not a StringLiteral" as in rule 4. (leftover from last year, comment #188) 8963 1 simeon 2006-03-30 00:13:57 +0000 Fixed as suggested. Some editorial discretion necessary as the section had already been changed. - Jerome 12328 2 jmdyck 2006-10-06 00:12:00 +0000 STA / rule 7 / premise 2 statEnv |- Expr is not a URILiteral Delete "statEnv |-". 13606 3 simeon 2007-01-16 18:01:26 +0000 Fixed. - Jerome 14102 4 jim.melton 2007-02-25 23:18:54 +0000 Closing bug because commenter has not objected to the resolution posted on 2007-01-16