summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dhall/src/semantics/nze/value.rs7
1 files changed, 3 insertions, 4 deletions
diff --git a/dhall/src/semantics/nze/value.rs b/dhall/src/semantics/nze/value.rs
index 945ee6e..724e3e8 100644
--- a/dhall/src/semantics/nze/value.rs
+++ b/dhall/src/semantics/nze/value.rs
@@ -502,12 +502,11 @@ impl Thunk {
) -> Self {
Thunk::PartialExpr { env, expr, ty }
}
- // TODO: take by value
- pub fn eval(&self) -> ValueKind {
+ pub fn eval(self) -> ValueKind {
match self {
- Thunk::Thunk { env, body } => normalize_tyexpr_whnf(body, env),
+ Thunk::Thunk { env, body } => normalize_tyexpr_whnf(&body, &env),
Thunk::PartialExpr { env, expr, ty } => {
- normalize_one_layer(expr.clone(), ty, env)
+ normalize_one_layer(expr, &ty, &env)
}
}
}