From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 30 Mar 2022 23:28:37 +0000 (+0100)
Subject: clippy: allow some lints
X-Git-Tag: otter-1.0.0~66
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=acac4cc6044c8c77a6beb4a3e09e70d565aebbce;p=otter.git

clippy: allow some lints

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/base/lib.rs b/base/lib.rs
index 7757111d..b65b228f 100644
--- a/base/lib.rs
+++ b/base/lib.rs
@@ -3,6 +3,8 @@
 // There is NO WARRANTY.
 
 #![allow(clippy::redundant_closure_call)]
+#![allow(clippy::writeln_empty_string)]
+
 pub mod imports;
 pub mod prelude;
 
diff --git a/clippy-options b/clippy-options
index 85048bf1..5f911a89 100644
--- a/clippy-options
+++ b/clippy-options
@@ -1,3 +1,7 @@
 --
 -A clippy::redundant_closure_call
 -A clippy::writeln_empty_string
+-A clippy::write_with_newline
+-A clippy::let_and_return
+-A clippy::needless_lifetimes
+-A clippy::upper_case_acronyms