Skip to content

Checked indexing - #527

Merged
Anand Krishnamoorthi (anakrish) merged 9 commits into
microsoft:mainfrom
anakrish:checked-indexing
Dec 19, 2025
Merged

Checked indexing#527
Anand Krishnamoorthi (anakrish) merged 9 commits into
microsoft:mainfrom
anakrish:checked-indexing

Conversation

@anakrish

Copy link
Copy Markdown
Collaborator

No description provided.

Add guardrails for operations to ensure that they
won't panic at runtime.

Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
Detect invalid indexes and raise internal errors.

Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
In case all the statements of a query don't execute,
skip reordering the result expressions to match the
source order. Doing so requires maintaining additional
data structures not worth the complexity for now.

Additionally we want to discourage queries and encourage
evaluating rules. Queries are inherently less performant
than rules which can be precompiled.

Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
Comment thread src/interpreter.rs

@dpokluda David Pokluda (dpokluda) left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:shipit:

@anakrish

Copy link
Copy Markdown
Collaborator Author

Thanks for the proactive review David Pokluda (@dpokluda) !

@anakrish
Anand Krishnamoorthi (anakrish) merged commit 604591a into microsoft:main Dec 19, 2025
41 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants