[Zorba-coders] [Bug 952829] Re: Nondeterministic annotation doesn't seem to be checked
** Changed in: zorba Status: Fix Committed = Fix Released -- 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 Released 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 -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 952829] Re: Nondeterministic annotation doesn't seem to be checked
I assign it to you for dispatching. -- 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 -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 952829] Re: Nondeterministic annotation doesn't seem to be checked
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 -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 952829] Re: Nondeterministic annotation doesn't seem to be checked
** Branch linked: lp:~zorba-coders/zorba/bug-952829 -- 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 -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [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 -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 952829] Re: Nondeterministic annotation doesn't seem to be checked
** 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 -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp