feat: add CLI argument for debugging comptime blocks

[michaeljklein]

Description

Problem*

Resolves #5168

Summary*

Additional Context

• Restores hir_to_ast pass as hir_to_display_ast from https://github.com/noir-lang/noir/pull/5147/files
  • Only using it for display is much easier than trying to go back and forth between HIR and the AST

Documentation*

Check one:

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

PR Checklist*

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

[TomAFrench]

I'm getting stuff like

% nargo compile --debug-comptime-scope="src/main.nr"                                                   ~/noir/test_programs/execution_success/comptime_println michaeljklein/debug-comptime-cli tom-box
hello from compile-time!
note: `comptime` expression ran:
  ┌─ /mnt/user-data/tom/noir/test_programs/execution_success/comptime_println/src/main.nr:2:13
  │  
2 │       let x = comptime {
  │ ╭─────────────'
3 │ │         println("hello from compile-time!");
4 │ │         1 + 2
5 │ │     };
  │ ╰─────' After evaluation:

I would expect that this would display 3, etc. here rather than an empty value. Is this expected?

[jfecher]

I would expect that this would display 3, etc. here rather than an empty value. Is this expected?

I'm getting the result but on the next line where the blue error line separating the source file from the line number usually is. Looks like there's an extra newline in the error.

[michaeljklein]

@TomAFrench yes, the error should be displayed on the following line. I added wrapping newlines in expectation of multi-line comptime results, but could alternatively add a condition for single-line results or "framing" ASCII.

[jfecher]

For reference this is what an error currently looks like on a function foo which returns 33:

note: `comptime` expression ran:
  ┌─ /.../noir/short/src/main.nr:2:13
  │
2 │     let x = comptime { foo() };
  │             ------------------ After evaluation:
33
  │

[jfecher]

Is this still being worked on?

[jfecher]

👍