Skip to content

chore: Add type annotation so the inferred type isn't Field#14507

Merged
aakoshh merged 3 commits intonextfrom
af/add-type-annotation-in-dispatch
May 23, 2025
Merged

chore: Add type annotation so the inferred type isn't Field#14507
aakoshh merged 3 commits intonextfrom
af/add-type-annotation-in-dispatch

Conversation

@aakoshh
Copy link
Contributor

@aakoshh aakoshh commented May 23, 2025

In preparation for noir-lang/noir#8635 where the format of Field printed at comptime will change from numeric to hexadecimal, to match the behaviour of the runtime. A slight inconvenience is that let x = 0; seems to be inferred to be Field by the compiler, which would show up as 0x00, which in this case disrupted the macro, as what has been rendered as arg0 became arg0x00.

@aakoshh aakoshh enabled auto-merge May 23, 2025 15:55
@aakoshh aakoshh requested a review from michaeljklein May 23, 2025 15:55
@aakoshh aakoshh added this pull request to the merge queue May 23, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 23, 2025
@aakoshh aakoshh added this pull request to the merge queue May 23, 2025
github-merge-queue bot pushed a commit that referenced this pull request May 23, 2025
In preparation for noir-lang/noir#8635 where the
format of `Field` printed at `comptime` will change from numeric to
hexadecimal, to match the behaviour of the runtime. A slight
inconvenience is that `let x = 0;` seems to be inferred to be `Field` by
the compiler, which would show up as `0x00`, which in this case
disrupted the macro, as what has been rendered as `arg0` became
`arg0x00`.
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 23, 2025
@vezenovm vezenovm added this pull request to the merge queue May 23, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 23, 2025
@aakoshh aakoshh added this pull request to the merge queue May 23, 2025
Merged via the queue into next with commit 683b8e4 May 23, 2025
4 checks passed
@aakoshh aakoshh deleted the af/add-type-annotation-in-dispatch branch May 23, 2025 23:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants