Skip to content
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

Parse error in data file with anonymous enumerated types #776

Closed
mathlover2 opened this issue Jan 6, 2024 · 1 comment
Closed

Parse error in data file with anonymous enumerated types #776

mathlover2 opened this issue Jan 6, 2024 · 1 comment
Assignees
Labels
bug resolved Issue is resolved and the feature or fix will be part of next release

Comments

@mathlover2
Copy link

Hi,

In the MiniZinc tutorial (specifically at Section 2.2.5 on complex constraints), Listing 2.2.10 for jobshop.mzn the model for job-shop scheduling, comes with a data file jdata.dzn, given in Listing 2.2.11, that contains anonymous enumerated types, specifically in the lines

JOB = _(1..5);
TASK = _(1..5);

However, running the command

minizinc --solver gecode --intermediate jobshop.mzn jdata.dzn

gives the error

MiniZinc: syntax error: syntax error, unexpected '(', expecting end of file

I don't know if this is a case of the documentation not lining up with the current program or an accidental regression, but I am filing this since I suspect it to be the latter.

@Dekker1 Dekker1 added the bug label Jan 8, 2024
@Dekker1 Dekker1 self-assigned this Jan 8, 2024
guidotack pushed a commit that referenced this issue Jan 8, 2024
@Dekker1 Dekker1 added the resolved Issue is resolved and the feature or fix will be part of next release label Jan 8, 2024
@mathlover2
Copy link
Author

Thanks for fixing this!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug resolved Issue is resolved and the feature or fix will be part of next release
Projects
None yet
Development

No branches or pull requests

2 participants