zorba-coders team mailing list archive

[Zorba Build Bot <952829@xxxxxxxxxxxxxxxxxx>]

** Changed in: zorba
       Status: New => Fix Committed

-- 
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:
  Fix Committed

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