Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix all lint warnings #353

Merged
merged 20 commits into from
Nov 16, 2021
Merged

Fix all lint warnings #353

merged 20 commits into from
Nov 16, 2021

Conversation

unzvfu
Copy link
Contributor

@unzvfu unzvfu commented Nov 12, 2021

This PR fixes all of those annoying lint warnings we've been putting up with forever. :) Mostly the problems were caused by code that was in a crate but only used in tests. I went through each one and did what seemed like the logical thing in each case: delete, move/refactor, or tag with #[cfg(test)].

Sorry to pick on you @wborgeaud for the review of this boring PR, but I think most of the code I've deleted was yours and so you're best placed to say whether it should be kept and flagged with a #[allow(dead_code)] instead.

One other thing to note: I've included the unrelated #![feature(asm_sym)] in this PR as a recent update to my compiler required it.

Personally I am strongly in favour of maintaining a zero-warnings policy for committed code, since it makes it much easier to see when stuff I've written generates a new warning. Happy to consider dissenting opinions though of course.

CC: @dlubarov @nbgl This addresses our discussion of same earlier today.

src/plonk/proof.rs Outdated Show resolved Hide resolved
@dlubarov
Copy link
Contributor

(No other concerns here, LGTM pending William's feedback)

Copy link
Contributor

@wborgeaud wborgeaud left a comment

Choose a reason for hiding this comment

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

Looks good to me, thanks for cleaning that up!
Also +1 on the zero-warnings policy. I've been wanting to make a PR to suppress all Clippy lints, but I've been waiting for a time without open PRs which hasn't happened in a while. I'll have a go at it and see if it doesn't cause too many conflicts with ongoing PRs.

@unzvfu unzvfu merged commit 909a5c2 into main Nov 16, 2021
@unzvfu unzvfu deleted the hamish/fix-all-lint-warnings branch November 16, 2021 10:18
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.

3 participants