search

MiniZinc / libminizinc

The MiniZinc compiler
http://www.minizinc.org
Other
516 stars 81 forks source link

dom_array evaluation error on sliced array 2.8.6 #851

Open CervEdin opened 1 month ago

CervEdin commented 1 month ago

When using dom_array on a sliced array

array[int, int] of int: X = [| 1,2 |];
output show(dom_array(X[.., 1]));

starting in 2.8.6 and also in 2.8.7 I get

evaluation error: invalid argument to dom

Seems I don't get this when using dom_bounds_array.