[BUG] fzn_regular predicate syntax error

[chillja]

I believe the regular global constraint as describe for FlatZinc (here) does not match the FlatZinc Syntax. The function required is passed as array[int,int] of int: d, but array[int, int] is not a valid predicate parameter type as described here.

Possible solution
I haven't managed to come up with an appropriate replacement, but maybe to split it in a function in and a function out array?

Environment (please complete the following information):

• Choco-solver version: 06dff9c (master branch Jun 5th)
• MiniZinc: version 2.5.5

Additional context
(I personally have no immediate problem that is blocked by this, just wrote a fzn parser and tripped over a fzn model that was created with choco globals.)

[cprudhom]

Thank you for noticing that error.
I will fix it asap.

CP

[cprudhom]

The issue is already fixed.
Indeed, there are 2 signatures in the fzn file:

predicate fzn_regular(array[int] of var int: x, int: Q, int: S,
                         array[int] of int: d, int: q0, set of int: F);

predicate fzn_regular(array[int] of var int: x, int: Q, int: S,
                      array[int,int] of int: d, int: q0, set of int: F) =
  fzn_regular(x,Q,S,array1d(d),q0,F);

The latter (which is minizinc compliant) turns the call into the former (which is flatzinc compliant).

Thank you for your help
CP