Comments (3)
The nesting might not be needed.
from opa.
Thank you for reporting this issue @anakrish!
from opa.
Some further information: this is a compile-time issue in the type-checker triggered when the every-domain contains a function call.
package test
import rego.v1
x if {
every p in [foo(1), 2/2] {
p == 1
}
}
foo(x) := x
There might be further triggers.
from opa.
Related Issues (20)
- regression: coverage change from 0.63.0+ HOT 4
- WithPartialEval losses r.Runtime HOT 1
- wasm: entrypoints for rules with "/" in their package parts are broken
- OPA high latency - potential cause: bad memory allocations HOT 1
- Add annotation to AST package node HOT 1
- Not clear why metadata attribute `entrypoint` requires `scope: rule` HOT 1
- Allow `opa inspect` to inspect a single file HOT 2
- Loading JSON array as data reports "bad document type" — should be more specific
- `--authorization=basic` breaks gzipped request decompression HOT 1
- Cease pushing of opa-envoy rootless images
- OPA inspect command failing after version upgrade on mock-tests for remote/external function dependencies HOT 3
- Unexpected recursion error on dotted rule head containing vars
- custom bucket sizes in opa-envoy-plugin HOT 1
- Errors from builtins in tests are not reported as documented HOT 9
- Update docs to show correct prometheus metrics exports HOT 1
- Add `strings.count(string, substring)` built-in function HOT 6
- Memory leak in topdown due to global compiled regex/glob pattern cache HOT 1
- graphql.parse(query, schema) no longer returns definition as part of the query ast
- fmt: running with `--rego-v1` produced unparseable file
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.