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.

Sign up for GitHub

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

Jump to bottom

Error if variable used both as array index and as dictionary key #153

Closed
timothyhinrichs opened this issue Nov 16, 2016 · 1 comment
Closed

Error if variable used both as array index and as dictionary key #153

timothyhinrichs opened this issue Nov 16, 2016 · 1 comment
Labels
bug

Comments

@timothyhinrichs
Copy link
Member

Ran across the following error.

data.clair[layers][index].Name = data.docker.history[index][app].Id
storage error; bad path; object key must be a string, not 0

Presumably the problem is that 'index' is used for both an array and a dictionary.
@tsandall
Copy link
Member

The expected result would be an empty set--not an error.

tsandall added a commit to tsandall/opa that referenced this issue Nov 23, 2016
@tsandall
Fix indexing usage for refs with intersecting vars
57132d8 
If refs have intersecting vars, the bindings produced by the index and the
evaluation of the non-indexed term may conflict. In this case, evaluation
should not continue as it means the variable did not unify.

Also, refactored check performed to determine if indexing can be used.

Fixes open-policy-agent#153
@tsandall tsandall mentioned this issue Nov 23, 2016
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tsandall @timothyhinrichs