From 7517610921935727218e94d4ec8116c15e3419ac Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 27 Apr 2019 15:24:57 +0200 Subject: Using only shift0 was not such a great idea --- dhall/src/normalize.rs | 42 +++++++++++++++++++----------------------- 1 file changed, 19 insertions(+), 23 deletions(-) (limited to 'dhall') diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index 2222f18..7d19ec0 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -36,10 +36,6 @@ impl<'a> Typed<'a> { } } -fn shift0_mut(delta: isize, label: &Label, in_expr: &mut SubExpr) { - let new_expr = shift0(delta, label, &in_expr); - std::mem::replace(in_expr, new_expr); -} fn shift_mut(delta: isize, var: &V