CODEWITHSUNDEEP
minizinc
RussAbbott
RussAbbott

Reputation: 2738

Having trouble using a function of a var set twice in an output statement in minizinc

The following program runs with no problem.

array[1..2] of var set of 5..8: ar = [{5, 6}, {6, 7}];

function string: format_set_1( var set of int: s ) = "\(fix(s))\t";  
function string: format_set_2( var set of int: s ) = "\(fix(s))\t";  

output
   [format_set_1(ar[1]) ++ format_set_2(ar[2])];

But when I replace format_set_2 with format_set_1 (or vice versa) in the output array I get the following error message.

MiniZinc: type error: 
function with the same type already defined in C:/Users/rabbott/AppData/Local/Temp/MiniZinc IDE (bundled)-SEkuWd/untitled_model.mzn:4.1

What's going on?

Upvotes: 0

Views: 133

Answers (1)

Dekker1
Dekker1

Reputation: 5786

This issue is caused by a bug in MiniZinc 2.3.2. The issue was recently raised on GitHub and has been fixed on the MiniZinc develop branch. The next release of MiniZinc should again work as expected.

Upvotes: 1

Related Questions