Comments (3)
Some further digging, and I've removed the "some .. in" constraint from the description as that wasn't required.
package p
import rego.v1
nums[x] contains x if some x in [1, 2, 3]
bug if {
n1 := 1
nums[n1]
}
❯ opa eval -f pretty -d p.rego data.p
1 error occurred: p.rego:9: rego_type_error: undefined ref: data.p.nums[n1]
data.p.nums[n1]
^
have (type): number
want (one of): [__local2__]
Using a numeric literal instead of a variable works:
not_bug if {
nums[1]
}
It seems to only happen for numeric keys, as the same policy works when using string keys:
package p
import rego.v1
nums[x] contains x if some x in ["1", "2", "3"]
bug if {
n1 := "1"
nums[n1]
}
from opa.
This issue has been automatically marked as inactive because it has not had any activity in the last 30 days. Although currently inactive, the issue could still be considered and actively worked on in the future. More details about the use-case this issue attempts to address, the value provided by completing it or possible solutions to resolve it would help to prioritize the issue.
from opa.
Bumped into this again in Regal. This time, it's at least clear that the type checker mistakenly expects strings as keys, even though numbers are clearly used. Simplified example:
package p
import rego.v1
nums[x] contains x if some x in [1, 2, 3]
bug if {
nums[x]
x == 1
}
1 error occurred: policy.rego:9: rego_type_error: match error
left : string
right : number
Quite annoying :/
from opa.
Related Issues (20)
- rego_unsafe_var_error in array comprehensions HOT 2
- Add Debugger interface to SDK
- Allow opa inspect to inspect single data files HOT 1
- Upsert decision masking operation not supported with array paths HOT 2
- Shutdown Log missing in OPA HOT 5
- Using `default` in ref head rule not working as expected
- Support Loading AWS Credentials from Config Profiles HOT 3
- NOt able to validate token in my OPA container
- Support AWS_CONTAINER_CREDENTIALS_FULL_URI environment variable
- fmt: allow to specify max line length or somehow ignore user given line breaks HOT 2
- "rego_type_error: multiple default rules" should include all locations where found
- Handle incorrect user input in OPA envoy plugin HOT 5
- Chunked HTTP requests broken in 0.67.0 HOT 2
- W3C tracing does not work as expected HOT 3
- Performance Degrade since v0.67.0 on glob.match with lots of patterns HOT 11
- Performance issue when using optimize level 2 HOT 13
- Not able to access rego policies from other drive in windows HOT 4
- Improve `concat` to accept numeric values HOT 1
- OPA support for persisted bundles with names using special characters in Windows HOT 7
- Reuse service from configuration in http.send HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from opa.