zorba-coders team mailing list archive

[Chris Hillery <924595@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

zorba -q 'let $foo := ({"foo":1},<xml/>) 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.

** Affects: zorba
     Importance: Medium
     Assignee: Markos Zaharioudakis (markos-za)
         Status: New

** Changed in: zorba
    Milestone: None => 2.2

** Changed in: zorba
     Assignee: (unassigned) => Markos Zaharioudakis (markos-za)

** Changed in: zorba
   Importance: Undecided => Medium

-- 
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:
  New

Bug description:
  zorba -q 'let $foo := ({"foo":1},<xml/>) 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