From 0f334c9d112e3ee961eb35c09c85140fdf2aa8f6 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 22 Apr 2019 00:08:46 +0200
Subject: Remove now obsolete subst_shift

---
 dhall_core/src/core.rs | 43 +------------------------------------------
 1 file changed, 1 insertion(+), 42 deletions(-)

diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 03974eb..72b42f8 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -520,7 +520,7 @@ pub fn shift0<N, E>(
     shift(delta, &V(label.clone(), 0), in_expr)
 }
 
-fn shift0_multiple<N, E>(
+pub fn shift0_multiple<N, E>(
     deltas: &HashMap<Label, isize>,
     in_expr: &SubExpr<N, E>,
 ) -> SubExpr<N, E> {
@@ -546,44 +546,3 @@ fn shift0_multiple_inner<N, E>(
         ),
     }
 }
-
-/// Substitute all occurrences of a variable with an expression, and
-/// removes the variable from the environment by shifting the indices
-/// of other variables appropriately.
-///
-/// ```text
-/// subst_shift(x, v, e) = ↑(-1, x, e[x := ↑(1, x, v)])
-/// ```
-///
-pub fn subst_shift<N, E>(
-    var: &V<Label>,
-    value: &SubExpr<N, E>,
-    in_expr: &SubExpr<N, E>,
-) -> SubExpr<N, E> {
-    subst_shift_inner(&HashMap::new(), var, value, in_expr)
-}
-
-fn subst_shift_inner<N, E>(
-    ctx: &HashMap<Label, isize>,
-    var: &V<Label>,
-    value: &SubExpr<N, E>,
-    in_expr: &SubExpr<N, E>,
-) -> SubExpr<N, E> {
-    use crate::ExprF::*;
-    let V(x, n) = var;
-    let dn = ctx.get(x).unwrap_or(&0);
-    let actual_var = V(x.clone(), add_ui(*n, *dn));
-    match in_expr.as_ref() {
-        Var(v) if v == &actual_var => shift0_multiple(ctx, value),
-        Var(v) => rc(Var(v.shift(-1, &actual_var))),
-        _ => in_expr.map_subexprs_with_special_handling_of_binders(
-            |e| subst_shift_inner(ctx, var, value, e),
-            |l: &Label, e| {
-                let mut ctx = ctx.clone();
-                let count = ctx.entry(l.clone()).or_insert(0);
-                *count += 1;
-                subst_shift_inner(&ctx, var, value, e)
-            },
-        ),
-    }
-}
-- 
cgit v1.2.3