2d array slicing in comprehension fails, array of arrays not supported

[CervEdin]

I thought I could assign a slice of a 2d array in a list comprehension, but it seems to fail.

playground.mzn

array[int, int] of int: foos = [| 1, 0 |];

array[int] of int: bar = [
  r[1] | i in index_set_1of2(foos), r=foos[i, ..]
];

Playground.mzn:3.1-22
  in
variable declaration for 'bar'
  in
array comprehension expression
Playground.mzn:4.15-34
    with
i = 1
    with
r = <expression>
  in
array access
MiniZinc:
evaluation error: arrays of arrays not supported
Process finished with non-zero exit code 1.

Seen in latest.

[CervEdin]

This is fine

array[int] of int: bar = [ foos[i, ..][1] | i in index_set_1of2(foos) ];

but not what I want 😞

[CervEdin]

What I would really want is to be able to iterate over rows in a 2d array, like in other languages with comprehensions

[ r[1] | r in foos where r[2] == 0 ]

but just being able to assign r=ReallyLongTableNameTableThingy[i, ..] would go along way

[CervEdin]

Apparently I can do

array[int] of int: bar = [ r[1] | i in 1..1, r=[1,2] ];

so I'm guessing this is a bug?

[cyderize]

Yes it seems the slice is somehow not being type checked correctly.

As a workaround for now, this seems to work:

array[int] of int: bar = [
  r[1] | i in index_set_1of2(foos), r=array1d(foos[i, ..])
];