New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Unable to output absent optional enum #189

Closed
udalrich opened this Issue Dec 4, 2017 · 0 comments

Comments

Projects
None yet
2 participants
@udalrich

udalrich commented Dec 4, 2017

More details are at https://stackoverflow.com/questions/47584449/output-an-absent-optional-enum-in-minizinc/47615096#47615096

Attempting to output an absent optional enum fails:

enum Foo = { A, B };
var opt Foo: foo;
output [ "foo: \(foo)" ];

solve satisfy;

with this output

Compiling test.mzn
MiniZinc: flattening error: 
  function _toString_Foo is used in output, par version needed
Finished in 29msec

@Dekker1 Dekker1 added the bug label Dec 5, 2017

@guidotack guidotack closed this in 3bea2f2 Jan 10, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment