Skip to content

uint: Make is_zero implementation const#639

Merged
arkpar merged 1 commit into
paritytech:masterfrom
ueco-jb:638/make-is-zero-const
Apr 4, 2022
Merged

uint: Make is_zero implementation const#639
arkpar merged 1 commit into
paritytech:masterfrom
ueco-jb:638/make-is-zero-const

Conversation

@ueco-jb

@ueco-jb ueco-jb commented Mar 30, 2022

Copy link
Copy Markdown
Contributor

closes #638

for loops are not allowed in const functions, so I went with simple while loop approach.

@niklasad1 niklasad1 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thank you

@ueco-jb

ueco-jb commented Apr 4, 2022

Copy link
Copy Markdown
Contributor Author

@niklasad1 I need someone else to approve here, because 2 reviews are required.
Could you ask someone from group?

@arkpar arkpar merged commit 8d99ffa into paritytech:master Apr 4, 2022
@ueco-jb ueco-jb deleted the 638/make-is-zero-const branch April 4, 2022 19:57
Comment thread uint/src/uint.rs
let &$name(ref arr) = self;
for i in 0..$n_words { if arr[i] != 0 { return false; } }
let mut i = 0;
while i < $n_words { if arr[i] != 0 { return false; } else { i += 1; } }

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

so while is now stable to loop over in const context but for not yet? interesting, seemed like all of them are behind const_looping

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, for loop calls iter.next() which is not a const fn.
Future RFCs (like rust-lang/rfcs#2237) might lift that restriction.

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.

uint: make is_zero const

4 participants