From 280b3174476ef8fe5a98f3614f4fe253fa243d8c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 29 Jan 2020 21:35:28 +0000
Subject: Finally get rid of all of the shift/subst_shift !

---
 dhall/src/semantics/core/var.rs | 10 ----------
 1 file changed, 10 deletions(-)

(limited to 'dhall/src/semantics/core/var.rs')

diff --git a/dhall/src/semantics/core/var.rs b/dhall/src/semantics/core/var.rs
index cf45d5e..3458489 100644
--- a/dhall/src/semantics/core/var.rs
+++ b/dhall/src/semantics/core/var.rs
@@ -29,16 +29,6 @@ impl AlphaVar {
     pub(crate) fn idx(&self) -> usize {
         self.alpha.idx()
     }
-
-    pub(crate) fn shift(&self, delta: isize, var: &AlphaVar) -> Option<Self> {
-        Some(AlphaVar {
-            alpha: self.alpha.shift(delta, &var.alpha)?,
-        })
-    }
-    pub(crate) fn under_binder(&self) -> Self {
-        // Can't fail since delta is positive
-        self.shift(1, &AlphaVar::default()).unwrap()
-    }
 }
 
 impl Binder {
-- 
cgit v1.2.3