← Back to team overview

zorba-coders team mailing list archive

[Bug 952829] Re: Nondeterministic annotation doesn't seem to be checked

 

The problem is related to the fact that internally the xqdoc:content
function is not annotated as nondeterministic. This behavior is
overwritten by the content of the .xq file in debug mode. However, in
release mode this wasn't the case.

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

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


References