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

Partial rules defining objects must have json string keys in head #2202

Closed
patrick-east opened this issue Mar 20, 2020 · 0 comments · Fixed by #2219
Closed

Partial rules defining objects must have json string keys in head #2202

patrick-east opened this issue Mar 20, 2020 · 0 comments · Fixed by #2219
Labels

Comments

@patrick-east
Copy link
Contributor

Expected Behavior

In rego a valid object can have any type of key. Ex:

x := {
  ["a", "b", "c"]: "foo"
}

Is perfectly valid.

Building objects with partial rules should therefore allow for constructing the same type of objects like:

p[["a", "b", "c"]] = "foo" { true }

Actual Behavior

You get a parse error:

> p[["a", "b", "c"]] = "foo" { true }
|
1 error occurred: 1:1: rego_parse_error: object key must be string, var, or ref, not array
	p[["a", "b", "c"]] = "foo" { true }

But you can define it like...

> p[x] = "foo" {
|   x := ["a", "b", "c"]
| }
|
Rule 'p' defined in package repl. Type 'show' to see rules.

Additional Info

These types of objects are somewhat dangerous since you cannot serialize them into JSON for results. However for intermediate data structures in a policy they are supported, and it seems weird that we restrict the syntax.

tsandall added a commit to tsandall/opa that referenced this issue Mar 25, 2020
This commit replaces the existing PEG generated parser with a parser
implemented by hand. The new parser is more efficient (avoiding old
problems with pathological input cases like {{{{{{{{{}}}}}}}} and
deeply-nested composites in general) and offers better opportunities
for improved error reporting (which has been improved already but
there is still room to grow.)

During the test process of implementing the new parser, we identified
a few issues that were present in the old parser. Those issues are
fixed by this commit.

Fixes open-policy-agent#1251
Fixes open-policy-agent#501
Fixes open-policy-agent#2198
Fixes open-policy-agent#2199
Fixes open-policy-agent#2200
Fixes open-policy-agent#2201
Fixes open-policy-agent#2202
Fixes open-policy-agent#2203

Co-authored-by: Torin Sandall <torinsandall@gmail.com>
Co-authored-by: Patrick East <east.patrick@gmail.com>

Signed-off-by: Torin Sandall <torinsandall@gmail.com>
Signed-off-by: Patrick East <east.patrick@gmail.com>
tsandall added a commit that referenced this issue Mar 26, 2020
This commit replaces the existing PEG generated parser with a parser
implemented by hand. The new parser is more efficient (avoiding old
problems with pathological input cases like {{{{{{{{{}}}}}}}} and
deeply-nested composites in general) and offers better opportunities
for improved error reporting (which has been improved already but
there is still room to grow.)

During the test process of implementing the new parser, we identified
a few issues that were present in the old parser. Those issues are
fixed by this commit.

Fixes #1251
Fixes #501
Fixes #2198
Fixes #2199
Fixes #2200
Fixes #2201
Fixes #2202
Fixes #2203

Co-authored-by: Torin Sandall <torinsandall@gmail.com>
Co-authored-by: Patrick East <east.patrick@gmail.com>

Signed-off-by: Torin Sandall <torinsandall@gmail.com>
Signed-off-by: Patrick East <east.patrick@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant