Merge pull request #36 from tgecho/lint

Clean up some clippy lints

Cargo.toml

@@ -9,3 +9,9 @@ resolver = "2"
 # This doesn't work on windows. Not sure if we still need it in macOS or can make it conditional.
 # [profile.dev]
 # split-debuginfo = "unpacked"
+
+[workspace.lints.clippy]
+pedantic = { level = "warn", priority = -1 }
+
+cast-sign-loss = "allow"
+many-single-char-names = "allow"

canrun/Cargo.toml

@@ -24,3 +24,6 @@ criterion = "0.5.1"
 [[bench]]
 name = "main"
 harness = false
+
+[lints]
+workspace = true

canrun/benches/core.rs

@@ -30,6 +30,7 @@ macro_rules! goal_bench {
     }
 }
 
+#[allow(clippy::too_many_lines)]
 pub fn benches(c: &mut Criterion) {
     goal_bench! {c "one" (x) {
         unify(x, 1)

canrun/src/collections/lvec/mod.rs

@@ -32,7 +32,6 @@ impl<T: Unify> LVec<T> {
     }
 
     /// Returns true if the [`LVec`] contains no elements.
-
     pub fn is_empty(&self) -> bool {
         self.vec.is_empty()
     }