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

feat: implement comptime support for `array_len` builtin #5272

Closed TomAFrench closed 2 weeks ago

TomAFrench commented 2 weeks ago

Description

Problem*

Resolves

Summary*

This PR implements support for the array_len builtin so we can query the length of arrays in comptime blocks. Ideally we'd tie this closer to the Intrinsics struct in noirc_evaluator but we can handle this morn cleanly later.

Additional Context

Documentation*

Check one:

PR Checklist*