Skip to content

Commit

Permalink
fix: Support debug comptime flag for attributes (#5929)
Browse files Browse the repository at this point in the history
# Description

## Problem\*

Resolves #5915

## Summary\*

We were just missing a quick check after running attributes. Now their
output will be shown when the `--debug-comptime-in-file` flag is used

## Additional Context



## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.
  • Loading branch information
jfecher authored Sep 4, 2024
1 parent 94e661e commit 34f21c0
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions compiler/noirc_frontend/src/elaborator/comptime.rs
Original file line number Diff line number Diff line change
Expand Up @@ -175,6 +175,8 @@ impl<'context> Elaborator<'context> {
.call_function(function, arguments, TypeBindings::new(), location)
.map_err(|error| error.into_compilation_error_pair())?;

self.debug_comptime(location, |interner| value.display(interner).to_string());

if value != Value::Unit {
let items = value
.into_top_level_items(location, self.interner)
Expand Down

0 comments on commit 34f21c0

Please sign in to comment.