summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs
diff options
context:
space:
mode:
authorNadrieril2019-03-09 16:24:14 +0100
committerNadrieril2019-03-09 16:24:14 +0100
commitcb9dfc1b9421e9814dac3ba6c78bad0d271f9d67 (patch)
treefa1b6e14b16c7d63f6ad7df8ed583f24cbdad3c2 /dhall/src/normalize.rs
parent6037cb224c5e61828ba41cb3d34438ad03a71403 (diff)
Obey clippy lints
Closes #14
Diffstat (limited to 'dhall/src/normalize.rs')
-rw-r--r--dhall/src/normalize.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index b2ee0f6..c23f887 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -175,7 +175,7 @@ where
}
BinOp(ListAppend, box ListLit(t1, xs), box ListLit(t2, ys)) => {
// Drop type annotation if the result is nonempty
- let t = if xs.len() == 0 && ys.len() == 0 {
+ let t = if xs.is_empty() && ys.is_empty() {
t1.or(t2)
} else {
None