28749 2015-06-04 09:12:18 +0000 [Editorial] Variable declaration type T definition 2015-07-14 02:06:15 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.1 Candidate Recommendation SGI Windows NT RESOLVED FIXED P2 normal --- 1 debbie jonathan.robie josh.spiegel mike public-qt-comments oldest_to_newest 120685 0 debbie 2015-06-04 09:12:18 +0000 The second paragraph of 4.16 Variable Declaration begins: "During static analysis, a variable declaration causes a pair (expanded QName N, type T) to be added to the in-scope variables." The definition of N follows immediately, but the type T is not defined until a number of paragraphs later, where it says "The type of the declared variable is as follows:...". This paragraph does not explicitly reference the parameter T. It would be nice to add a reference to T when it is defined, and to mention when N is defined that T will be defined later after all the examples (or possibly even move the paragraph containing T's definition to before the examples). 120687 1 mike 2015-06-04 09:45:14 +0000 Note also that the last sentence of 4.16 is redundant and not quite correct: "If VarValue or VarDefaultValue is evaluated, the static and dynamic contexts for the evaluation are the current module's static and dynamic context." The earlier paragraphs in the section have already explained the static and dynamic context for evaluation in much more detail than this; and a module as such does not have a dynamic context. 122010 2 josh.spiegel 2015-07-14 02:06:15 +0000 I moved the definition of T as suggested in comment 0 and deleted the redundant sentence mentioned in comment 1.