6731 2009-03-24 15:17:42 +0000 [XQuery11] Type of External Variable 2010-01-16 09:32:55 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.0 Working drafts PC Linux RESOLVED NEEDSINFO proposalAccepted P2 normal --- 1 jonathan.robie jonathan.robie jim.melton jmdyck mike public-qt-comments oldest_to_newest 24388 0 jonathan.robie 2009-03-24 15:17:42 +0000 The current XQuery 1.1 Working Draft discusses the static type inferred for external variables: If a variable declaration includes a type, that type is added to the static context as the type of the variable. If a variable declaration includes a VarValue or a VarDefaultValue but not an explicit type, the type of the variable is inferred from static analysis of the expression and is added to the static context. Doesn't this belong in the Formal Semantics? We do need to know what the required type of an external variable is. At the last Face to Face, we decided the following: - Static type has no dependency on external - In a dynamic implementation, the static type is either (1) the declared type, or (2) item()* - The original paragraph cited in 2008Oct/0002.html is only true when there is no external variable. - Editorially, bringing the two descriptions of the types of external variables closer together, and giving them similar structure, would be helpful. - Wording: 'the variable contains external' - be clear that this is syntactic productions. 24393 1 jmdyck 2009-03-24 18:09:08 +0000 Most of this is covered by Michael Kay's proposal (member only): http://lists.w3.org/Archives/Member/w3c-xml-query-wg/2009Feb/0100.html 25181 2 mike 2009-05-18 08:11:34 +0000 We believe this bug can be resolved by adopting the proposal posted at http://lists.w3.org/Archives/Member/w3c-xsl-query/2009May/0036.html 27263 3 jim.melton 2009-09-17 19:46:21 +0000 I'm re-opening this bug because it was accidentally marked RESOLVED/FIXED before the WG had formally endorsed the solution. Apologies for the confusion! 29071 4 jonathan.robie 2009-10-27 16:27:24 +0000 Closing, per WG decision today. In the current internal WD.