Skip to content

chore(elaborator): Add LoopStatement#10377

Merged
TomAFrench merged 1 commit intomasterfrom
af/elaborator-loop-stmt
Nov 5, 2025
Merged

chore(elaborator): Add LoopStatement#10377
TomAFrench merged 1 commit intomasterfrom
af/elaborator-loop-stmt

Conversation

@aakoshh
Copy link
Contributor

@aakoshh aakoshh commented Nov 5, 2025

Description

Problem*

Resolves the dissonance between the For, Loop and While variants of StatementKind: only Loop didn't have a corresponding LoopStatement.

Summary*

Adds LoopStatement.

Additional Context

(I set out to turn some of the variants of Type which contain multiple identical elements, like Array and Function, to structs, but it would be too much code churn).

Documentation*

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@aakoshh aakoshh force-pushed the af/elaborator-loop-stmt branch from 20cf76c to 555053b Compare November 5, 2025 14:50
Copy link
Member

@TomAFrench TomAFrench left a comment

Choose a reason for hiding this comment

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

LGTM

@TomAFrench TomAFrench enabled auto-merge November 5, 2025 14:54
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 555053b Previous: 03a4839 Ratio
test_report_zkpassport_noir-ecdsa_ 2 s 1 s 2

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@TomAFrench TomAFrench added this pull request to the merge queue Nov 5, 2025
auto-merge was automatically disabled November 5, 2025 15:31

Pull Request is not mergeable

Merged via the queue into master with commit dbd6f97 Nov 5, 2025
133 checks passed
@TomAFrench TomAFrench deleted the af/elaborator-loop-stmt branch November 5, 2025 15:43
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 6, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore(frontend): Loop control flow unit tests (noir-lang/noir#10387)
chore: Release Noir(1.0.0-beta.15) (noir-lang/noir#10125)
feat(doc): crate name, version, and dark mode (noir-lang/noir#10378)
chore(elaborator): Add `LoopStatement` (noir-lang/noir#10377)
chore(elaborator): Ensure that `push_location` and `push_type` cannot be forgotten (noir-lang/noir#10374)
feat: nargo doc (noir-lang/noir#10314)
chore: Add remaining doc comments to interpreter (noir-lang/noir#10368)
chore: green light for bn254_blackbox_solver audit (noir-lang/noir#10371)
chore: elaborator types.rs nits (noir-lang/noir#10375)
fix: do not replace return for databus (noir-lang/noir#10355)
END_COMMIT_OVERRIDE

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 6, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore(frontend): Loop control flow unit tests (noir-lang/noir#10387)
chore: Release Noir(1.0.0-beta.15) (noir-lang/noir#10125)
feat(doc): crate name, version, and dark mode (noir-lang/noir#10378)
chore(elaborator): Add `LoopStatement` (noir-lang/noir#10377)
chore(elaborator): Ensure that `push_location` and `push_type` cannot be forgotten (noir-lang/noir#10374)
feat: nargo doc (noir-lang/noir#10314)
chore: Add remaining doc comments to interpreter (noir-lang/noir#10368)
chore: green light for bn254_blackbox_solver audit (noir-lang/noir#10371)
chore: elaborator types.rs nits (noir-lang/noir#10375)
fix: do not replace return for databus (noir-lang/noir#10355)
END_COMMIT_OVERRIDE
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 6, 2025
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore(frontend): Loop control flow unit tests
(noir-lang/noir#10387)
chore: Release Noir(1.0.0-beta.15)
(noir-lang/noir#10125)
feat(doc): crate name, version, and dark mode
(noir-lang/noir#10378)
chore(elaborator): Add `LoopStatement`
(noir-lang/noir#10377)
chore(elaborator): Ensure that `push_location` and `push_type` cannot be
forgotten (noir-lang/noir#10374)
feat: nargo doc (noir-lang/noir#10314)
chore: Add remaining doc comments to interpreter
(noir-lang/noir#10368)
chore: green light for bn254_blackbox_solver audit
(noir-lang/noir#10371)
chore: elaborator types.rs nits
(noir-lang/noir#10375)
fix: do not replace return for databus
(noir-lang/noir#10355)
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.

2 participants