zorba-coders team mailing list archive

[Dana Florescu <900688@xxxxxxxxxxxxxxxxxx>]

** Changed in: zorba
   Importance: Undecided => Medium

** Changed in: zorba
     Assignee: (unassigned) => Markos Zaharioudakis (markos-za)

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/900688

Title:
  cyclic dependency of declared variables not detected correctly

Status in Zorba - The XQuery Processor:
  New

Bug description:
  According to the XQuery 3.0 spec (sentence '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.' at http://www.w3.org/TR/xquery-30
  /#id-variable-declarations), forward references of variables should
  work. Thus, queries like this should work:

  declare variable $y := $x;
  declare variable $x := <a/>;

  $y

  Currently, this throws the error XPST0008.

  This implies that circular dependencies have to be detected. Like in

  Such forward references can cause circular dependencies like in:

  declare variable $x := 3 + $b;
  declare variable $b := $x;
  $x

  This has to cause error XQST0054.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/900688/+subscriptions