jsoniq: pair value returns more then one item

[Dana Florescu]

This query

{ "foo" : (1 to 3) }

should return

{ "foo" : [1,2,3] }

(automatic array construction)

[Matthias Brantner (matthias-brantner)]

If this is done, we also need to make sure that the solution is consistent with the following:

variable $object := {"foo": "bar"};

replace json value of $object("foo") with (1 to 3);

[Till Westmann (tillw)]

So then - in conjunction with bug #1046410 - the rule for constructing or replacing the value of a pair with the sequence $s is:

if count($s) eq 0 then jn:null()
else if count($s) eq 1 then $s
else [ $s ]

If we have this, should we give this operation a name (e.g. "jsonify")?

[Matthias Brantner (matthias-brantner)]

According to the latest discussion, we need to do the following:

- implement a new iterator that does array-boxing of sequences and conversion of empty-sequence into null
- this iterator will be introduced during normalization within object constructors and replace expressions
- the optimizer could remove the iterator if it can detect statically that no boxing or conversion into null needs to be done