Skip to content

Conversation

@cdisselkoen
Copy link
Contributor

Description of changes

This required some refactoring in order to report the specific slot (like ?principal) that was involved in the error.

Issue #, if available

Fixes #245.

Checklist for requesting a review

The change in this PR is (choose one, and delete the other options):

  • A change "invisible" to users (e.g., documentation, changes to "internal" crates like cedar-policy-core, cedar-validator, etc.)

I confirm that this PR (choose one, and delete the other options):

  • Does not update the CHANGELOG because my change does not significantly impact released code.

I confirm that cedar-spec (choose one, and delete the other options):

  • Does not require updates because my change does not impact the Cedar Dafny model or DRT infrastructure.

Disclaimer

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@cdisselkoen
Copy link
Contributor Author

Not sure why Downstream CedarJava is failing. Doubt it's related to this PR, but maybe related to one of today's other PRs?

@cdisselkoen cdisselkoen merged commit 13e3eed into main Nov 20, 2023
@cdisselkoen cdisselkoen deleted the cdisselkoen/improve-slot-errors branch November 20, 2023 15:45
shaobo-he-aws added a commit that referenced this pull request May 20, 2025
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.

Improve SlotsInConditionClause

3 participants