Finally get rid of all of the shift/subst_shift !

1 files changed, 3 insertions, 5 deletions

diff --git a/dhall/src/semantics/phase/normalize.rs b/dhall/src/semantics/phase/normalize.rs
index d40456b..fa80b6e 100644
--- a/dhall/src/semantics/phase/normalize.rs
+++ b/dhall/src/semantics/phase/normalize.rs
@@ -638,15 +638,13 @@ pub(crate) fn normalize_one_layer(
         ),
         // Those cases have already been completely handled in the typechecking phase (using
         // `RetWhole`), so they won't appear here.
-        ExprKind::Lam(_, _, _)
-        | ExprKind::Pi(_, _, _)
+        ExprKind::Lam(..)
+        | ExprKind::Pi(..)
+        | ExprKind::Let(..)
         | ExprKind::Embed(_)
         | ExprKind::Var(_) => {
             unreachable!("This case should have been handled in typecheck")
         }
-        ExprKind::Let(_, _, val, body) => {
-            Ret::Value(body.subst_shift(&AlphaVar::default(), &val))
-        }
         ExprKind::Annot(x, _) => Ret::Value(x),
         ExprKind::Const(c) => Ret::Value(const_to_value(c)),
         ExprKind::Builtin(b) => Ret::Value(builtin_to_value_env(b, env)),