[Bug 17272] [QT3TS] K-InternalVariablesWith-15b

https://www.w3.org/Bugs/Public/show_bug.cgi?id=17272

--- Comment #2 from O'Neil Delpratt <oneil@saxonica.com> 2012-10-01 14:57:00 UTC ---
The current spec says:

[Definition: If a variable declaration includes an expression (VarValue or
VarDefaultValue), the expression is called an initializing expression. The
static context for an initializing expression includes all functions,
variables, and namespaces that are declared or imported anywhere in the Prolog,
other than the variable being declared.]

Therefore the variable reference $var1 is not in scope. The spec says:

It is a static error [err:XPST0008] to reference a variable that is not in
scope.

So we think that XPST0008 is appropriate and that there is not a cycle. To
create a cycle there would have to be a link from the variable reference to the
declaration and there is no such link because the variable is not in scope.

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Monday, 1 October 2012 14:57:04 UTC