diff --git a/crates/nargo/src/ops/execute.rs b/crates/nargo/src/ops/execute.rs index d1de166ac27..e4d85da4998 100644 --- a/crates/nargo/src/ops/execute.rs +++ b/crates/nargo/src/ops/execute.rs @@ -39,6 +39,7 @@ fn execute_foreign_call(foreign_call: &ForeignCallWaitInfo) -> ForeignCallResult // TODO(#1615): Nargo only supports "oracle_print_**_impl" functions that print a singular value or an array and nothing else // This should be expanded in a general logging refactor match foreign_call.function.as_str() { + // TODO(#1910): Move to an enum and don't match directly on these strings "oracle_print_impl" => { let values = &foreign_call.inputs[0]; println!("{:?}", values[0].to_field().to_hex()); diff --git a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_oracle/src/main.nr b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_oracle/src/main.nr index 3c048cf3a36..53356c80ab9 100644 --- a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_oracle/src/main.nr +++ b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_oracle/src/main.nr @@ -11,6 +11,7 @@ fn main(x: Field) { get_number_sequence_wrapper(20); } +// TODO(#1911) #[oracle(oracle_print_impl)] unconstrained fn oracle_print(_x : Field) -> Field {} @@ -18,6 +19,7 @@ unconstrained fn oracle_print_wrapper(x: Field) { oracle_print(x); } +// TODO(#1911) #[oracle(oracle_print_array_impl)] unconstrained fn oracle_print_array(_arr : [Field; 2]) -> Field {} @@ -25,9 +27,12 @@ unconstrained fn oracle_print_array_wrapper(arr: [Field; 2]) { oracle_print_array(arr); } +// TODO(#1911): This function does not need to be an oracle but acts +// as a useful test while we finalize code generation for slices in Brillig #[oracle(get_number_sequence)] unconstrained fn get_number_sequence(_size: Field) -> [Field] {} +// TODO(#1911) #[oracle(get_reverse_number_sequence)] unconstrained fn get_reverse_number_sequence(_size: Field) -> [Field] {}