noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

https://noir-lang.org

Apache License 2.0

821 stars 177 forks source link

chore: address TODO in `compat.nr` #5339

Closed TomAFrench closed 4 days ago

TomAFrench commented 4 days ago

Description

Problem*

Resolves

Summary*

This PR addresses a TODO in the stdlib now that #5245 is resolved.

Additional Context

Documentation*

Check one:

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

PR Checklist*

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