zorba-coders team mailing list archive

[Matthias Brantner <952829@xxxxxxxxxxxxxxxxxx>]

I verified the problem. It only appears in Release mode (not even in
RelWithDebInfo)

** Changed in: zorba
     Assignee: Matthias Brantner (matthias-brantner) => Markos Zaharioudakis (markos-za)

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

** Changed in: zorba
    Milestone: None => 2.2

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

Title:
  Nondeterministic annotation doesn't seem to be checked

Status in Zorba - The XQuery Processor:
  New

Bug description:
  Nondeterministic annotation doesn't seem to be checked.
  xqdoc:xqdoc() is documented as nondeterministic: http://www.zorba-xquery.com/html/modules/zorba/xqdoc/xqdoc
  However the following query works fine:
  http://www.zorba-xquery.com/html/demo#fH5/YOkiBfsXkzjq8DBGLBKhT5Y=

  It seems that the excepted result should have been an error, it was
  certainly the case in previous zorba versions.

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