summaryrefslogtreecommitdiff
path: root/dhall/src/core
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/src/core')
-rw-r--r--dhall/src/core/thunk.rs2
-rw-r--r--dhall/src/core/value.rs2
-rw-r--r--dhall/src/core/var.rs4
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 {