Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

compiler: adds a helper method to require any object type prefix #1710

Merged
merged 1 commit into from
Jan 18, 2024

Conversation

vroldanbet
Copy link
Contributor

@vroldanbet vroldanbet commented Jan 16, 2024

Follow up to breaking changes from #1679 and subsequent fixes in #1683

The compiler API contract allowed clients to enforce the schema having any prefix not just one specific. The Safeguards introduced in #1683 mean it was no longer possible to achieve the same semantics originally exposed.

This introduces a new Option RequirePrefixedObjectType which will cause the compiler to fail if a namespace or caveat is found without prefixes. The alternative ObjectTypePrefix should be used when a specific object type prefix is required.

@github-actions github-actions bot added the area/schema Affects the Schema Language label Jan 16, 2024
@vroldanbet vroldanbet marked this pull request as ready for review January 17, 2024 07:57
@vroldanbet vroldanbet requested a review from a team January 17, 2024 07:57
@vroldanbet vroldanbet force-pushed the add-helper-require-object-type-prefix branch from f7d332c to 8fcbab3 Compare January 17, 2024 07:57
@vroldanbet vroldanbet enabled auto-merge January 17, 2024 07:59
@vroldanbet vroldanbet added this pull request to the merge queue Jan 17, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jan 17, 2024
@vroldanbet vroldanbet added this pull request to the merge queue Jan 17, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jan 17, 2024
@josephschorr josephschorr added this pull request to the merge queue Jan 18, 2024
Merged via the queue into main with commit facdadd Jan 18, 2024
20 checks passed
@josephschorr josephschorr deleted the add-helper-require-object-type-prefix branch January 18, 2024 03:56
@github-actions github-actions bot locked and limited conversation to collaborators Jan 18, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area/schema Affects the Schema Language
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants