[Zorba-coders] [Bug 980526] Re: dataflow_annotations.cpp: 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/980526
Title:
dataflow_annotations.cpp: assertion failed
Status in Zorba - The XQuery Processor:
Fix Released
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)
{
};
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
[Zorba-coders] [Bug 980526] Re: dataflow_annotations.cpp: assertion failed
I hope the fix works for the larger Sausalito programs as well.
** 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/980526
Title:
dataflow_annotations.cpp: assertion failed
Status in Zorba - The XQuery Processor:
Fix Committed
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)
{
};
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
