You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
% Works
test valid(record(int:x): x) = true;
test valid(record(int:y): x) = true;
% Doesn't work
type rx = record(int:x);
type ry = record(int:y);
test valid_tr(ry: x) = true;
test valid_tr(rx: x) = true;
Using type-inst it's not possible to overload a function for different record types.
Behavior seen in 2.7.6 and by the looks of it, also in latest/development.
Playground.mzn:9.1-27:
MiniZinc:
type error: function with the same type already defined in /minizinc/Playground.mzn:8.1-27
Process finished with non-zero exit code 1.
Take the following simple model.
Using type-inst it's not possible to overload a function for different record types.
Behavior seen in 2.7.6 and by the looks of it, also in latest/development.
Here's an example in the MiniZinc playground
The text was updated successfully, but these errors were encountered: