zorba-coders team mailing list archive

[David Graf <david.graf@xxxxxxxxxx>]

** Description changed:

- In XQuery 3.0, it is possible to make forward references to global
- variables, like in:
+ According to the XQuery 3.0 spec, forward references of variables should
+ work. Thus, queries like this should work:
  
- declare variable $x := 3 + $b;
- declare variable $b := 4;
- $x
+ 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 needs to be detected and the error XQST0054 thrown. Currently,
- Zorba throws XPST0008
+ This has to cause error XQST0054.

-- 
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