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

Bug in parsing array of boolean #38

Open
maartenflippo opened this issue Jul 22, 2024 · 1 comment
Open

Bug in parsing array of boolean #38

maartenflippo opened this issue Jul 22, 2024 · 1 comment
Labels
bug Something isn't working

Comments

@maartenflippo
Copy link

maartenflippo commented Jul 22, 2024

Consider the following flatzinc statement:

array [1..3] of var bool: xs = [x1, x2, x3];

The crate fails to parse, seemingly because of the whitespace in the array literal after each comma. I.e. the following does work:

array [1..3] of var bool: xs = [x1,x2,x3];

We are running version 0.3.20 of the crate. I am happy to submit a PR fixing this if you would be helped by that.

@sthiele
Copy link
Member

sthiele commented Jul 22, 2024

Thank you for reporting the issue. A PR would be very welcome.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants