From 0cf4d3845e75ac25e35c5e73eb2dfd58c5450af6 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 6 Apr 2019 11:09:23 +0200
Subject: Factor out shift/subst/shift dance

---
 dhall_core/src/core.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'dhall_core')

diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 3d1b9f3..2f15217 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -739,3 +739,13 @@ pub fn subst<S, A>(
         _ => in_expr.map_ref(|e| subst(var, value, e), under_binder),
     }
 }
+
+pub fn subst_shift<S, A>(
+    var: &V<Label>,
+    value: &SubExpr<S, A>,
+    in_expr: &SubExpr<S, A>,
+) -> SubExpr<S, A> {
+    let value = shift(1, var, value);
+    let expr = subst(var, &value, in_expr);
+    shift(-1, var, &expr)
+}
-- 
cgit v1.2.3