[Zorba-coders] [Bug 911585] Re: eval + staticcollectionmanager fails
** 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/911585 Title: eval + staticcollectionmanager fails Status in Zorba - The XQuery Processor: Fix Released Bug description: The 4th test in test/unit/staticcollectionmanager.cpp fails in two places. 1. src/compiler/rewriter/tools/dataflow_annotations.cpp:942: void zorba::SourceFinder::findNodeSourcesRec(zorba::expr*, std::vector&, zorba::user_function*): Assertion `setExpr->get_expr_kind() == var_set_expr_kind' failed. 2. If this is fixed or the invoke query in static_context.cpp is compiled with O0, an exception is raised in #1 0xb70dd0b5 in zorba::dynamic_context::get_variable (this=0x82f2b18, varid=4, varname=..., loc=..., itemValue=..., seqValue=...) at /home/mbrantner/zorba/sandbox/src/context/dynamic_context.cpp:453 #2 0xb77aa44a in zorba::EvalIterator::setExternalVariables (this=0x82de178, ccb=0x82e5f18, outerSctx=0x82f8c50, evalSctx=0x82f0228, evalDctx=0x82f2b18) at /home/mbrantner/zorba/sandbox/src/runtime/eval/eval.cpp:325 Note that the latter only happens if the imported module contains two variable declarations. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/911585/+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 867266] Re: Unexpected updating expression illegal here
** 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/867266 Title: Unexpected updating expression illegal here Status in Zorba - The XQuery Processor: Fix Released Bug description: This raises an error: 4,1: update static error [err:XUST0001]: updating expression illegal here; raised at /zorba/trunksrc/src/compiler/expression/fo_expr.cpp:222 variable $x:=; for $y in $x return replace value of node $x with "x" This doesn't: variable $x:=; for $y in $x return replace value of node $y with "x" To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867266/+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 867022] Re: XPTY0004 needs error parameters or location
** 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/867022 Title: XPTY0004 needs error parameters or location Status in Zorba - The XQuery Processor: Fix Released Bug description: There are a few places in the code where error XPTY0004 had no parameters: constructors.cpp:828,840 dynamic_fncall_iterator.cpp:163 numerics_impl.cpp:913 The original code didn't have them either, so there was nothing for me to migrate to the new error code. Please ensure these have a good error message with parameters. Some places in the code have no error location: flwor_iterator.cpp:1341 orderby_iterator.cpp:401 and it wasn't clear to me how to obtain it. Please add it. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867022/+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 867247] Re: Internal fatal error on node insert
** 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/867247 Title: Internal fatal error on node insert Status in Zorba - The XQuery Processor: Fix Released Bug description: This query raises an internal fatal error: variable $y:=c; ( insert node "a" as first into $y, insert node "b" before $y/node()[1] ); $y Zorba Internal Fatal Error in /zorba/trunksrc/src/store/naive/node_updates.cpp:943: "theParent": condition failed To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867247/+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 867183] Re: Adding a node to a collection causes out of bound in vector
** 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/867183 Title: Adding a node to a collection causes out of bound in vector Status in Zorba - The XQuery Processor: Fix Released Bug description: Adding a node in a collection after the last one causes out of bound error in simple_collection.cpp around line 211 in memmove: import module namespace ddl = "http://www.zorba-xquery.com/modules/store/dynamic/collections/ddl";; import module namespace dml = "http://www.zorba-xquery.com/modules/store/dynamic/collections/dml";; ddl:create-collection(xs:QName("ddl:test2"),(,)); dml:insert-nodes-after(xs:QName("ddl:test2"), dml:collection(xs:QName("ddl:test2"))[2], (,)); To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867183/+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 867245] Re: Namespace lost after update
** 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/867245 Title: Namespace lost after update Status in Zorba - The XQuery Processor: Fix Released Bug description: In the following query the namespace binding on d,e,f are lost after the delete node operation evaluation. I believe the problem is in detach. variable $x:=http://aaa.com"; c1="d1">http://ddd.com"/>http://eee";>g; variable $z:=$x/*; delete node $x/*; $z The query outputs: http://aaa.com"; c1="d1">g The query should output: http://aaa.com"; c1="d1">http://ddd.com"/>http://eee";>g To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867245/+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 948259] Re: Store::getNodeReference() should take Item const*
** 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/948259 Title: Store::getNodeReference() should take Item const* Status in Zorba - The XQuery Processor: Fix Released Bug description: In the Store class, there is the function that currently has the signature: virtual bool getNodeReference(Item_t& result, Item* node) = 0; Specifically, it takes an Item* (pointer to non-constant Item) because it presumably mutates the Item object if it has to assign a node reference. However, the function signature should really be: virtual bool getNodeReference(Item_t& result, Item const* node) = 0; that is, take an Item const* (pointer to constant Item). The operation is "logically const." An implementation may choose not to alter the Item at all and instead store a mapping between Items and node references elsewhere. However, for an implementation that does store the node reference in an Item itself, that doesn't change the fact that the operation is still "logically const." The node reference data member should be made "mutable." Having the function take an Item* as it does now means that other classes elsewhere that return an Item const* for which you want to obtain its node reference must first const_cast the pointer which is ugly. For example, the FTToken class keeps an Item const* pointing to the Item whence the token came. There is no reason FTToken itself needs the Item to be non-const, hence it declares its data member as Item const*. However, in code elsewhere, we want to obtain the node reference for a token's Item like this: if ( store::Item const *const token_item = token->item() ) { store::Item *const temp = const_cast( token_item ); if ( GENV_STORE.getNodeReference( item, temp ) ) { // ... } } The introduction of the const_cast and temp is ugly and shouldn't be necessary. It would be even more ugly to change the FTToken class to use an Item* because then everything that passes an Item* to FTToken might have to be changed also, i.e., the non-const-ness would ripple throughout the code. Note that changing the function signature to the proposed one using const is a backwards *compatible* change because increasing "const- ness" is always so. (The reverse, however, i.e., making something that is const into non-const, is a backwards incompatible change.) To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/948259/+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 944002] Re: bug with eval, plan serializer, and no-copy rule
** 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/944002 Title: bug with eval, plan serializer, and no-copy rule Status in Zorba - The XQuery Processor: Fix Released Bug description: The bug is illustrated by test rbkt/Queries/zorba/eval/eval11.xq, when run with the plan serializer on. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/944002/+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 928710] Re: Populating JSON array requires direct store manipulation
** 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/928710 Title: Populating JSON array requires direct store manipulation Status in Zorba - The XQuery Processor: Fix Released Bug description: New bug description: The only way to create a JSON array item with members is to first create the item, then populate it by manipulating the store using Store::populateJSONArray(). This seems like a bad API as only update primitives should be actually manipulating the store. (The way you create a JSON object with pairs is similar - you create the JSONObject item first, then "copy" pairs into it. This "copy" method also seems problematic as it can be done at any time, and really should only be used by update primitives.) Original bug description: If you are creating JSON items via the store API, the only way to add members to an array is to use the "no-copy copy()" trick, calling copy() on the member Item and passing a store::CopyMode with theDoCopy set to false. However, copy() is not implemented for Items of atomic types (at least integer and string), so there is no way at all to create a JSON array with strings or integers as members. This of course means there's no way to do it with the public C++ API either. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/928710/+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 924595] Re: JSONiq: cannot create mixed JDM/XDM sequence
** 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/924595 Title: JSONiq: cannot create mixed JDM/XDM sequence Status in Zorba - The XQuery Processor: Fix Released Bug description: zorba -q 'let $foo := ({"foo":1},) return 1' results in Zorba error [zerr:ZXQP0002]: "false": assertion failed; raised at /home/ceej/zo/src/src/types/typemanagerimpl.cpp:943 (This isn't an issue with serialization, as the query isn't attempting to serialize a mixed sequence.) Matthias sez: "The assertion is triggered because STRUCTURED_ITEM_KIND is not handled in the switch in TypeManagerImpl::create_type. It's happening in the rewriter, so executing the query with --optimization-level O0 should work." And indeed, the above query works with O0. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/924595/+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 922432] Re: member accessor on object raises XPTY0004
** 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/922432 Title: member accessor on object raises XPTY0004 Status in Zorba - The XQuery Processor: Fix Released Bug description: The following query raises [err:XPTY0004]: ~NoTypePromotion_json let $obj := { "glossary": { "title": "example glossary", "GlossDiv": { "title": "S", "GlossList": { "GlossEntry": { "ID": "SGML", "SortAs": "SGML", "GlossTerm": "Standard Generalized Markup Language", "Acronym": "SGML", "Abbrev": "ISO 8879:1986", "GlossDef": { "para": "A meta-markup language, used to create markup languages such as DocBook.", "GlossSeeAlso": ["GML", "XML"] }, "GlossSee": "markup" } } } } } return $obj("glossary")("title") To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/922432/+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 919189] Re: ZorbaImpl::init might call GlobalEnvironment::init with a NULL store pointer
** 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/919189 Title: ZorbaImpl::init might call GlobalEnvironment::init with a NULL store pointer Status in Zorba - The XQuery Processor: Fix Released Bug description: At this location, in function ZorbaImpl::init(Store* store): http://bazaar.launchpad.net/~zorba- coders/zorba/trunk/view/head:/src/api/zorbaimpl.cpp#L93 The assertion assert(store == NULL || store2 == store); allows the variable store to be NULL (and there are places that do call this function indirectly with an explicit NULL store pointer, such as here: http://bazaar.launchpad.net/~zorba- coders/zorba/trunk/view/head:/modules/com/zorba-xquery/www/modules /http-client.xq.src/http_client.cpp#L68 ). However, this assertion is followed by GlobalEnvironment::init(store); that always fails upon a NULL pointer. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/919189/+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 917923] Re: undeclared variable in built-in module if called through invoke
** 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/917923 Title: undeclared variable in built-in module if called through invoke Status in Zorba - The XQuery Processor: Fix Released Bug description: [err:XPDY0002]: "r:foo": undeclared variable is raised for the following scenario. -- A built-in module such as random declares a variable as follows: declare variable $r:foo := 1; -- A library module foo declares a variable and accesses $r:foo in a function. module namespace foo = "http://foo.com/";; import module namespace r = 'http://www.zorba- xquery.com/modules/random'; declare variable $foo:blub := 1; declare function foo:bar() { $r:foo }; -- A main module imports the library module foo and invokes the function foo:bar() import module namespace invoke = 'http://www.zorba-xquery.com/modules/reflection'; import module namespace foo = "http://foo.com/"; at "/home/mbrantner/zorba/build/foo.xq"; invoke:invoke-s ( fn:QName ( 'http://foo.com/', 'bar' ) ) To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/917923/+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 872288] Re: XPath expression has unexpected result
** 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/872288 Title: XPath expression has unexpected result Status in Zorba - The XQuery Processor: Fix Released Bug description: Consider the following query variable $x:=; insert node into $x/a; rename node $x/a/b as "a"; ( { $x } , { $x//a } , { $x//* } ) All nodes seem to have the isRecursive flag set to false , thus this query returns: <--only 1 a element since the first a is marked as nonRecursive <--two a elements To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/872288/+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 909126] Re: Rewriter crashes with assertion failed
** 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/909126 Title: Rewriter crashes with assertion failed Status in Zorba - The XQuery Processor: Fix Released Bug description: The following query causes an assertion failure in the rewriter at optimization level O1 and O2. At O0 it works. Zorba error [zerr:ZXQP0002]: "varExpr->get_udf() == udfCaller->theFo->get_func()": assertion failed; raised at /home/federico/zorba/repository/trunk/src/compiler/rewriter/tools/dataflow_annotations.cpp:818 declare function local:clone-node($source as node()) { local:generate-map($source); }; declare function local:generate-map($source as node()*) { variable $sources:=$source//node(); for $source at $i in $sources return trace($source,"source") }; local:clone-node() To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/909126/+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 866932] Re: "X strings remain in the string pool" failing tests
** 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/866932 Title: "X strings remain in the string pool" failing tests Status in Zorba - The XQuery Processor: Fix Released Bug description: There have been a number of bug reports over the years where Zorba crashes on exit with a message like the following: i = 94 String http://www.zorba-xquery.com/options/versioning is still in the pool Zorba Internal Fatal Error in home/ceej/zo/src/src/store/naive/string_pool.cpp:42: "count == 0": condition failed: 1 strings remain in the string pool As far as I know, we have never completely figured out what causes these errors nor how to correct them. Gabriel initially reported this bug 866932 listing several test cases which exhibited this symptom, but those were subsequently cleared up by some other change without fixing the underlying problem. I have just now found at least one reliable way to reproduce this result (see comment #3), so I have co-opted this bug report. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/866932/+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 866423] Re: Deadlock in Updates
** 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/866423 Title: Deadlock in Updates Status in Zorba - The XQuery Processor: Fix Released Bug description: If some update expressions are executed in a certain order, Zorba ends up in a deadlock. Example Query: import module namespace coll = "http://www.zorba-xquery.com/zorba /collection-functions"; declare sequential function local:test() { coll:create-collection("test", Foo); replace value of node collection("test")[1]/b with "Bar"; coll:insert-nodes-at("test", 2, ); (); }; local:test(); To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/866423/+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 867246] Re: Assertion failed after node delete or replace node
** 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/867246 Title: Assertion failed after node delete or replace node Status in Zorba - The XQuery Processor: Fix Released Bug description: The following query make Zorba crash: zorba: /zorba/trunksrc/src/store/naive/node_items.cpp:162: zorba::store::Item* zorba::simplestore::XmlTree::getType(const zorba::simplestore::XmlNode*) const: Assertion `theTypesMap != __null' failed. Aborted import schema namespace s="http://www.zorba-xquery.org/schema"; at "shiporder.xsd"; declare revalidation skip; variable $x:=validate{ http://www.w3.org/2001/XMLSchema-instance"; xmlns="http://www.zorba-xquery.org/schema";> John Smith Ola Nordmann Langgt 23 4000 Stavanger Norway Empire Burlesque Special Edition 1 10.90 Hide your heart 1 9.90 }; variable $z:=$x/*; delete node $x/*; format-number($z,"aa") I think that the problem is that detach, when the node types are stored in the XmlTree type map, do not copies the types of the detached nodes over to their new tree. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867246/+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 855314] Re: Assertion failed in typemanager with for and el constuctor
** Changed in: zorba Status: Fix Committed => Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is subscribed to the bug report. https://bugs.launchpad.net/bugs/855314 Title: Assertion failed in typemanager with for and el constuctor Status in Zorba - The XQuery Processor: Fix Released Bug description: The following query: declare function local:crash() as element()* { for $id in (1,2) return element {"a:a"}{} }; local:crash() raises this error: /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x7c3fcb) [0x16c4fcb] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x7c408e) [0x16c508e] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0xe36379) [0x1d37379] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6232a0) [0x15242a0] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6215df) [0x15225df] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6afc6a) [0x15b0c6a] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6a34d7) [0x15a44d7] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6a356b) [0x15a456b] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6a356b) [0x15a456b] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x69dbb9) [0x159ebb9] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x69fdbd) [0x15a0dbd] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6d0d2f) [0x15d1d2f] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6d094f) [0x15d194f] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6d07a4) [0x15d17a4] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x41cc47) [0x131dc47] /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x41c839) [0x131d839] /zorba/trunkbuild/bin/zorba() [0x8057c70] /zorba/trunkbuild/bin/zorba() [0x80590ab] /lib/i386-linux-gnu/libc.so.6(__libc_start_main+0xe7) [0xab5e37] /zorba/trunkbuild/bin/zorba() [0x8056011] Zorba error [zerr:ZXQP0002]: "false": assertion failed; raised at /zorba/trunksrc/src/types/typemanagerimpl.cpp:723 Apparently if an element constructor raises a "can not convert to expanded QName" error and the element constructor is rewritten, the element constructor is replaced by an item containing the error message. This sooner or later crashes zorba. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/855314/+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 867024] Re: XPST0003 & XPST0081 need parameters
** 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/867024 Title: XPST0003 & XPST0081 need parameters Status in Zorba - The XQuery Processor: Fix Released Bug description: In translator.cpp:7007-7009, the errors need parameters. It's not obvious to me how to obtain them. Please add them. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867024/+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 867262] Re: Ext func arg item seq can not be consumed 2 times
** 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/867262 Title: Ext func arg item seq can not be consumed 2 times Status in Zorba - The XQuery Processor: Fix Released Bug description: If one tried to consume an external function argument item sequence 2 times, the 2nd time no more item is returned: next returns false and the item is NULL. To reproduce, take any external module and in the "evaluate" implementation of a function do the following (make sure that the function receives a non non-empty sequence as the first parameter): Item item; Iterator_t iter = args[0]->getIterator(); iter->open(); iter->next(item); iter->close(); // item is valid here iter = args[0]->getIterator(); iter->open(); iter->next(item); iter->close(); // item is NULL here To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867262/+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 867263] Re: Segfault with Delete and ReplaceContent
** 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/867263 Title: Segfault with Delete and ReplaceContent Status in Zorba - The XQuery Processor: Fix Released Bug description: This query causes a segfault: variable $test:=; ( replace value of node $test/child with "x", delete node $test/child/childchild ) To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867263/+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
Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/serializer into lp:zorba
Review: Approve -- https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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] [Merge] lp:~zorba-coders/zorba/serializer into lp:zorba
The proposal to merge lp:~zorba-coders/zorba/serializer into lp:zorba has been updated. Status: Needs review => Approved For more details, see: https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 -- https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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] [Merge] lp:~zorba-coders/zorba/serializer into lp:zorba
Validation queue starting for merge proposal. Log at: http://zorbatest.lambda.nu:8080/remotequeue/serializer-2012-03-26T02-16-22.192Z/log.html -- https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
Markos Zaharioudakis has proposed merging lp:~zorba-coders/zorba/markos-scratch into lp:zorba. Requested reviews: Markos Zaharioudakis (markos-za) For more details, see: https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 fixed bug #872234 -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. === modified file 'ChangeLog' --- ChangeLog 2012-03-23 21:47:51 + +++ ChangeLog 2012-03-26 02:39:19 + @@ -2,6 +2,7 @@ version 2.5 * Fixed bug in window iterator + * Fixed bug #872234 (prevent a rewritting to take place in case of sequential expr) version 2.2 === modified file 'src/compiler/rewriter/rules/flwor_rules.cpp' --- src/compiler/rewriter/rules/flwor_rules.cpp 2012-03-23 17:32:07 + +++ src/compiler/rewriter/rules/flwor_rules.cpp 2012-03-26 02:39:19 + @@ -894,6 +894,7 @@ if (ifReturnExpr != NULL && whereExpr == NULL && !condExpr->is_sequential() && + !thenExpr->is_sequential() && (elseExpr->is_simple() || elseExpr->is_vacuous()) && !elseExpr->isNonDiscardable() && TypeOps::is_empty(tm, *elseExpr->get_return_type())) === added file 'test/rbkt/ExpQueryResults/zorba/scripting/flwor15.xml.res' --- test/rbkt/ExpQueryResults/zorba/scripting/flwor15.xml.res 1970-01-01 00:00:00 + +++ test/rbkt/ExpQueryResults/zorba/scripting/flwor15.xml.res 2012-03-26 02:39:19 + @@ -0,0 +1,1 @@ +0 1 2 3 === added file 'test/rbkt/Queries/zorba/scripting/flwor15.xq' --- test/rbkt/Queries/zorba/scripting/flwor15.xq 1970-01-01 00:00:00 + +++ test/rbkt/Queries/zorba/scripting/flwor15.xq 2012-03-26 02:39:19 + @@ -0,0 +1,34 @@ + + +import module namespace map = "http://www.zorba-xquery.com/modules/store/data-structures/unordered-map";; + +declare namespace ann = "http://www.zorba-xquery.com/annotations";; + +declare variable $local:processed-internal-links as xs:QName := +xs:QName("processed-internal-links"); + + +declare variable $result := (); + + +declare %ann:sequential function local:f1($n as xs:string) +{ + map:insert($local:processed-internal-links, $n, $n); + + $result := ($result, $n); + + for $x in ("1", "2", "3") + return +if(fn:empty(map:get($local:processed-internal-links, $x))) then + local:f1($x) +else + () +}; + + +map:create($local:processed-internal-links, xs:QName("xs:string")); + +local:f1("0"); + +$result + -- 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
Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
Review: Approve -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
The proposal to merge lp:~zorba-coders/zorba/markos-scratch into lp:zorba has been updated. Status: Needs review => Approved For more details, see: https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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 872234] Re: problems with unordered map
** Changed in: zorba Status: New => Fix Committed ** Changed in: zorba Milestone: None => 2.5 -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/872234 Title: problems with unordered map Status in Zorba - The XQuery Processor: Fix Committed Bug description: I guess there's a problem with the optimizer. Try the following code: import module namespace map = "http://www.zorba-xquery.com/modules/store/data-structures/unordered-map";; declare namespace ann = "http://www.zorba-xquery.com/annotations";; declare variable $local:processed-internal-links := xs:QName("processed-internal-links"); declare %ann:sequential function local:f1($n as xs:string) { map:insert($local:processed-internal-links, $n, $n); fn:trace($n, "n="); for $x in ("1", "2", "3") return if(fn:empty(map:get($local:processed-internal-links, $x))) then local:f1($x) else () }; map:create($local:processed-internal-links, xs:QName("xs:string")); local:f1("0") It should display 0 1 2 3 But it displays 0 1 2 3 3 2 3 To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/872234/+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
Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/serializer into lp:zorba
The attempt to merge lp:~zorba-coders/zorba/serializer into lp:zorba failed. Below is the output from the failed tests. CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:274 (message): Validation queue job serializer-2012-03-26T02-16-22.192Z is finished. The final status was: 2 tests did not succeed - changes not commited. Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake -- https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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] [Merge] lp:~zorba-coders/zorba/serializer into lp:zorba
The proposal to merge lp:~zorba-coders/zorba/serializer into lp:zorba has been updated. Status: Approved => Needs review For more details, see: https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 -- https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
Validation queue starting for merge proposal. Log at: http://zorbatest.lambda.nu:8080/remotequeue/markos-scratch-2012-03-26T02-53-09.768Z/log.html -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
Validation queue job markos-scratch-2012-03-26T02-53-09.768Z is finished. The final status was: All tests succeeded! -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
The proposal to merge lp:~zorba-coders/zorba/markos-scratch into lp:zorba has been updated. Status: Approved => Merged For more details, see: https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. -- 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