Skip to content

fix: clarify predicate comment in BrilligCall and Call opcodes#10356

Merged
jfecher merged 3 commits intonoir-lang:masterfrom
DeVikingMark:fix/10350-predicate-comment
Nov 6, 2025
Merged

fix: clarify predicate comment in BrilligCall and Call opcodes#10356
jfecher merged 3 commits intonoir-lang:masterfrom
DeVikingMark:fix/10350-predicate-comment

Conversation

@DeVikingMark
Copy link
Contributor

Description

Fixes #10350

Clarifies the predicate documentation to explicitly state:

  • When predicate evaluates to 0, execution is skipped
  • When predicate evaluates to 1 or is None, execution proceeds

@github-actions
Copy link
Contributor

github-actions bot commented Nov 4, 2025

Thank you for your contribution to the Noir language.

Please do not force push to this branch after the Noir team have started review of this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch.

Thanks for your understanding.

Copy link
Contributor

@jfecher jfecher left a comment

Choose a reason for hiding this comment

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

👍

@jfecher jfecher enabled auto-merge November 5, 2025 14:49
@jfecher jfecher added this pull request to the merge queue Nov 6, 2025
Merged via the queue into noir-lang:master with commit 1739efd Nov 6, 2025
126 of 128 checks passed
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 10, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore(elaborator): Infer type of lambdas in tuple args; more docs (noir-lang/noir#10405)
fix: revert "feat(ACIR): reuse element_type_sizes blocks with the same str… (noir-lang/noir#10428)
chore(frontend): Avoid silent fallback when returning turbofish generics for primitive types (noir-lang/noir#10416)
fix: mark ECDSA verification as `PureWithPredicate` (noir-lang/noir#10423)
fix(parser): don't crash on incomplete type alias (noir-lang/noir#10421)
chore(github): Refine pull request template wording (noir-lang/noir#10418)
chore: refactor codegen_memory (noir-lang/noir#10323)
chore(frontend): Primitive types generic count unit tests (noir-lang/noir#10412)
chore: use SignedField::from_signed in enums.rs (noir-lang/noir#10408)
chore: use `map_data_bus_in_place` in mem2reg (noir-lang/noir#10407)
chore: apply typo fixes from Cantina (noir-lang/noir#10406)
chore(frontend): Various comptime blocks unit tests (noir-lang/noir#10398)
fix: clarify predicate comment in BrilligCall and Call opcodes (noir-lang/noir#10356)
END_COMMIT_OVERRIDE
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 10, 2025
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore(elaborator): Infer type of lambdas in tuple args; more docs
(noir-lang/noir#10405)
fix: revert "feat(ACIR): reuse element_type_sizes blocks with the same
str… (noir-lang/noir#10428)
chore(frontend): Avoid silent fallback when returning turbofish generics
for primitive types (noir-lang/noir#10416)
fix: mark ECDSA verification as `PureWithPredicate`
(noir-lang/noir#10423)
fix(parser): don't crash on incomplete type alias
(noir-lang/noir#10421)
chore(github): Refine pull request template wording
(noir-lang/noir#10418)
chore: refactor codegen_memory
(noir-lang/noir#10323)
chore(frontend): Primitive types generic count unit tests
(noir-lang/noir#10412)
chore: use SignedField::from_signed in enums.rs
(noir-lang/noir#10408)
chore: use `map_data_bus_in_place` in mem2reg
(noir-lang/noir#10407)
chore: apply typo fixes from Cantina
(noir-lang/noir#10406)
chore(frontend): Various comptime blocks unit tests
(noir-lang/noir#10398)
fix: clarify predicate comment in BrilligCall and Call opcodes
(noir-lang/noir#10356)
END_COMMIT_OVERRIDE
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.

Confusing comment in documentation of BrilligCall and Call opcodes.

2 participants