diff options
Diffstat (limited to 'dhall/src/core')
-rw-r--r-- | dhall/src/core/thunk.rs | 2 | ||||
-rw-r--r-- | dhall/src/core/value.rs | 2 | ||||
-rw-r--r-- | dhall/src/core/var.rs | 4 |
3 files changed, 3 insertions, 5 deletions
diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs index c65d70e..5c569e1 100644 --- a/dhall/src/core/thunk.rs +++ b/dhall/src/core/thunk.rs @@ -299,7 +299,7 @@ impl Subst<Typed> for TypeThunk { impl std::cmp::PartialEq for Thunk { fn eq(&self, other: &Self) -> bool { - &*self.as_value() == &*other.as_value() + *self.as_value() == *other.as_value() } } impl std::cmp::Eq for Thunk {} diff --git a/dhall/src/core/value.rs b/dhall/src/core/value.rs index cff599b..bc8fa34 100644 --- a/dhall/src/core/value.rs +++ b/dhall/src/core/value.rs @@ -132,7 +132,7 @@ impl Value { rc(ExprF::EmptyListLit(n.normalize_to_expr_maybe_alpha(alpha))) } Value::NEListLit(elts) => rc(ExprF::NEListLit( - elts.into_iter() + elts.iter() .map(|n| n.normalize_to_expr_maybe_alpha(alpha)) .collect(), )), diff --git a/dhall/src/core/var.rs b/dhall/src/core/var.rs index e474e44..35bff80 100644 --- a/dhall/src/core/var.rs +++ b/dhall/src/core/var.rs @@ -101,9 +101,7 @@ impl Shift for () { } impl<T> Subst<T> for () { - fn subst_shift(&self, _var: &AlphaVar, _val: &T) -> Self { - () - } + fn subst_shift(&self, _var: &AlphaVar, _val: &T) -> Self {} } impl std::cmp::PartialEq for AlphaVar { |