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

fix: allow referring to comptime locals at runtime #7681

Merged
merged 4 commits into from
Mar 12, 2025

Conversation

asterite
Copy link
Collaborator

Description

Problem

Resolves #7550

Summary

Additional Context

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.

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: 7c40990 Previous: d1338c1 Ratio
AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_reset-kernel-lib 11 s 9 s 1.22

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

CC: @TomAFrench

@TomAFrench TomAFrench added this pull request to the merge queue Mar 12, 2025
Merged via the queue into master with commit 6d7c543 Mar 12, 2025
105 checks passed
@TomAFrench TomAFrench deleted the ab/comptime-variable-at-runtime branch March 12, 2025 16:11
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Mar 13, 2025
…d to cover multiple `beta.n` releases (noir-lang/noir#7685)

chore(docs): Minor fixes on local documentation development workflows (noir-lang/noir#7684)
chore: add trailing slash to link on docs homepage (noir-lang/noir#7682)
fix: allow referring to comptime locals at runtime (noir-lang/noir#7681)
chore: easier way to test monormophization errors (noir-lang/noir#7679)
chore(docs): update bb commands to match the new version (noir-lang/noir#7677)
chore: update yarn version to 4.5.2 (noir-lang/noir#7678)
chore: migrate to use new flat eslint config file (noir-lang/noir#7676)
chore: bump JS dependencies (noir-lang/noir#7669)
chore: bump wasm-pack to 0.13.1 (noir-lang/noir#7675)
chore: bump node to v22.18.3 (noir-lang/noir#7668)
chore!: make `ResolverError::UnnecessaryPub` a hard error (noir-lang/noir#7664)
fix: correctly format let followed by comment before unsafe (noir-lang/noir#7659)
chore: bump external pinned commits (noir-lang/noir#7667)
chore: fixing timeouts (noir-lang/noir#7666)
chore(ssa): Do not print entire functions in underconstrained values check trace (noir-lang/noir#7665)
chore(ci): Exclude enum tests from Brillig reports (noir-lang/noir#7661)
chore: add regression tests for PR #7570 from lambda interpreter test (noir-lang/noir#7638)
chore: remove some unused HIR code (noir-lang/noir#7643)
chore: update examples to use UltraHonk (noir-lang/noir#7653)
fix: allow method call after block, if and match (noir-lang/noir#7655)
chore: address recurring typo in docs (noir-lang/noir#7656)
fix(ssa): don't check Brillig calls for coverage if they don't return anything (e.g. println) (noir-lang/noir#7644)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Mar 13, 2025
…ultiple `beta.n` releases (noir-lang/noir#7685)

chore(docs): Minor fixes on local documentation development workflows (noir-lang/noir#7684)
chore: add trailing slash to link on docs homepage (noir-lang/noir#7682)
fix: allow referring to comptime locals at runtime (noir-lang/noir#7681)
chore: easier way to test monormophization errors (noir-lang/noir#7679)
chore(docs): update bb commands to match the new version (noir-lang/noir#7677)
chore: update yarn version to 4.5.2 (noir-lang/noir#7678)
chore: migrate to use new flat eslint config file (noir-lang/noir#7676)
chore: bump JS dependencies (noir-lang/noir#7669)
chore: bump wasm-pack to 0.13.1 (noir-lang/noir#7675)
chore: bump node to v22.18.3 (noir-lang/noir#7668)
chore!: make `ResolverError::UnnecessaryPub` a hard error (noir-lang/noir#7664)
fix: correctly format let followed by comment before unsafe (noir-lang/noir#7659)
chore: bump external pinned commits (noir-lang/noir#7667)
chore: fixing timeouts (noir-lang/noir#7666)
chore(ssa): Do not print entire functions in underconstrained values check trace (noir-lang/noir#7665)
chore(ci): Exclude enum tests from Brillig reports (noir-lang/noir#7661)
chore: add regression tests for PR #7570 from lambda interpreter test (noir-lang/noir#7638)
chore: remove some unused HIR code (noir-lang/noir#7643)
chore: update examples to use UltraHonk (noir-lang/noir#7653)
fix: allow method call after block, if and match (noir-lang/noir#7655)
chore: address recurring typo in docs (noir-lang/noir#7656)
fix(ssa): don't check Brillig calls for coverage if they don't return anything (e.g. println) (noir-lang/noir#7644)
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.

Referring to comptime let values in non-comptime code results in ICE
2 participants