Error: values must be emitted before tables in nargo prove

[sirasistant]

Description

Nargo fails to prove a circuit with specific public input structure. Related to toml parsing/writing.

Aim

Tried to prove a circuit using nargo with public inputs that included structs and arrays

Expected behavior

nargo prove should succeed

Bug

nargo prove test 
Error: input.toml file is badly formed, could not parse, values must be emitted before tables

Location:
    crates/nargo/src/cli/mod.rs:63:5

To reproduce

using this main:

struct Inner {
    foo: Field,
    bar: Field,
}

struct Outer {
    inner: Inner,
    baz: Field,
    last: [Field; 1],
}

fn main(outer: pub Outer){
    constrain outer.inner.foo == 0;
}

and this Prover.toml

[outer]
baz = "2"
last = ["1"]

[outer.inner]
foo = "0"
bar = "1"

Environment

• Using nargo:

  • Binary:
  • Compiled from source: a92d12e

• Using TypeScript:

  • @noir-lang/noir_wasm:
  • @noir-lang/barretenberg:
  • @noir-lang/aztec_backend:

Additional context

I have tried reordering the Prover.toml with no success, and toml linters say that it's valid toml and the JSON equivalent is as expected.
I think that it's having trouble emitting the Verifier.toml with the public inputs.

[sirasistant]

Workaround:
Comment out in prove_cmd.rs:

write_inputs_to_file(
  &public_inputs,
  &return_value,
  &program_dir,
  VERIFIER_INPUT_FILE,
  Format::Toml,
)?;