Public bug reported: Compiling the following query and library module trigger an assertion:
Zorba error [zerr:ZXQP0002]: "varExpr->get_udf() == udfCaller->theFo->get_func()": assertion failed; raised at /home/mbrantner/zorba/sandbox/src/compiler/rewriter/tools/dataflow_annotations.cpp:841 response.xq xquery version "3.0"; module namespace resp = "http://www.28msec.com/modules/response"; declare namespace ann = "http://www.zorba-xquery.com/annotations"; declare %fn:private variable $resp:serialization-params as element(serialization-parameters) := resp:serializer-defaults-xml(); declare function resp:serializer-defaults-xml() as element(serialization-parameters) { <serialization-parameters/> }; declare %ann:sequential function resp:set-serialization-parameters( $params as element(serialization-parameters) ) as empty-sequence() { $resp:serialization-params := $params; }; declare %ann:sequential function resp:set-redirect( $url as xs:string) as empty-sequence() { 1 }; main.xq import module namespace refl = "http://www.zorba-xquery.com/modules/reflection"; import module namespace res = "http://www.28msec.com/modules/response" at "response.xq"; declare namespace ann = "http://www.zorba-xquery.com/annotations"; declare %ann:sequential function local:save() { variable $tmp := refl:eval-s("blub"); res:set-redirect("/wiki"); }; local:save() ** Affects: zorba Importance: High Assignee: Markos Zaharioudakis (markos-za) Status: New -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/980526 Title: dataflow_annotations.cpp: assertion failed Status in Zorba - The XQuery Processor: New Bug description: Compiling the following query and library module trigger an assertion: Zorba error [zerr:ZXQP0002]: "varExpr->get_udf() == udfCaller->theFo->get_func()": assertion failed; raised at /home/mbrantner/zorba/sandbox/src/compiler/rewriter/tools/dataflow_annotations.cpp:841 response.xq xquery version "3.0"; module namespace resp = "http://www.28msec.com/modules/response"; declare namespace ann = "http://www.zorba-xquery.com/annotations"; declare %fn:private variable $resp:serialization-params as element(serialization-parameters) := resp:serializer-defaults-xml(); declare function resp:serializer-defaults-xml() as element(serialization-parameters) { <serialization-parameters/> }; declare %ann:sequential function resp:set-serialization-parameters( $params as element(serialization-parameters) ) as empty-sequence() { $resp:serialization-params := $params; }; declare %ann:sequential function resp:set-redirect( $url as xs:string) as empty-sequence() { 1 }; main.xq import module namespace refl = "http://www.zorba-xquery.com/modules/reflection"; import module namespace res = "http://www.28msec.com/modules/response" at "response.xq"; declare namespace ann = "http://www.zorba-xquery.com/annotations"; declare %ann:sequential function local:save() { variable $tmp := refl:eval-s("blub"); res:set-redirect("/wiki"); }; local:save() To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/980526/+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