3279 2006-05-12 12:57:16 +0000 XQPST0081 is incorrectly used for undeclared variables 2006-07-06 13:05:04 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 0.9.0 PC Windows XP CLOSED FIXED P2 normal --- 1 marc.van.cappellen jinghaol oldest_to_newest 9761 0 marc.van.cappellen 2006-05-12 12:57:16 +0000 Resolving bug 2447 in XQTS seems to have unwanted side-effects. Apparently all references to XPST0008 have been replaced by XPST0081 we believe this is incorrect. Take for example ForExpr002 for $folder in $folder/File return <file name="{$folder/File/FileName}"/> XQTS 0.9.0 expects XPST0081, where we believe it should still eb XPST0008. In paragraph "3.1.2 Variable References" of the XQuery spec (including the latest May 10 version) we read: Every variable binding has a static scope. The scope defines where references to the variable can validly occur. It is a static error [err:XPST0008] to reference a variable that is not in scope. If a variable is bound in the static context for an expression, that variable is in scope for the entire expression. In addition, note that the query above doesn't specify any prefix. As such XQST0081 can definitely not apply as it reads: err:XPST0081: It is a static error if a QName used in a query contains a namespace prefix that cannot be expanded into a namespace URI by using the statically known namespaces. Here is the complete list of tests for which the switchfrom XPST0008 to XPST0081 is incorrect: ForExpr002 ForExpr009 LetExpr021 ReturnExpr014 WhereExpr002 WhereExpr018 vardeclwithtype-15 statictyping-21 Thanks, Marc 9763 1 marc.van.cappellen 2006-05-12 13:16:27 +0000 As additional information, note that this was already reported and fixed with bug 3267. However, the list of tests in that bug seems to be incomplete. 9831 2 carmelo 2006-05-17 18:29:09 +0000 Marc: I am reassigning the bug to Microsoft as most of the test are theirs. I did looked at my tests,vardeclwithtype-15 and statictyping-21. I do not see how this bug pertains to those two tests. Please comment. Thanks, Carmelo 9834 3 marc.van.cappellen 2006-05-17 18:56:50 +0000 Let's take a closer look at vardeclwithtype-15 declare variable $var as xs:integer := $e +1; declare variable $e as xs:integer := 10; $var $e is used before being declared. In http://www.w3.org/TR/xquery/#id-variables we read: It is a static error [err:XPST0008] to reference a variable that is not in scope. Does this helps? Marc 9838 4 marc.van.cappellen 2006-05-17 20:17:40 +0000 to complete comment #3, let me add a reference to http://www.w3.org/TR/xquery/#id-variable-declarations It says: The static context for an initializing expression includes all functions that are declared or imported anywhere in the Prolog, but it includes only those variables and namespaces that are declared or imported earlier in the Prolog than the variable that is being initialized. I hope this helps, Marc 9859 5 carmelo 2006-05-18 17:37:29 +0000 Marc: Correct. I updated the catalog file for all the tests (NIST's and Microsoft's) to expect code XPST0008. Please close the bug if in agreement. Thanks, Carmelo 10085 6 marc.van.cappellen 2006-06-17 21:54:51 +0000 In XQTS 0.9.4, one query does't seem tio be fixed. Expressions\FLWORExpr\LetExpr\LetExpr021.xq 10157 7 carmelo 2006-06-20 13:19:55 +0000 Marc: All tests should now have the correct expected code. Thanks, Carmelo 10400 8 Tom.Brosens 2006-07-06 13:05:04 +0000 Yes, all are OK now! Closing. Thanks, Tom.