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 `as_slice` builtin #5276

Closed TomAFrench closed 2 weeks ago

TomAFrench commented 2 weeks ago

Description

Problem*

Resolves https://github.com/noir-lang/noir/issues/5274

Summary*

This PR implements the as_slice builtin function for the comptime interpreter. I've also fixed an issue where due to builtin/foreign/oracle functions having an early return, we don't call exit_function which results in the scopes being left in an inconsistent state.

Additional Context

Documentation*

Check one:

PR Checklist*