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)
  {
    <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

Reply via email to