Skip to content

Complete top-down evaluation implementation #178

@anakrish

Description

@anakrish

The following does not pass with top-down evaluation:

package test
import future.keywords

p[q].r contains s {  # Rule with prefix and general ref
   x := ["a", "b", "c"]
   q := x[_]
   s := x[_]
   q != s
}
p.b.r contains "foo" # Rule with prefix overlapping with above rule

Query: data.test.p.b

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions