summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze
diff options
context:
space:
mode:
authorNadrieril2020-01-29 21:35:28 +0000
committerNadrieril2020-01-29 21:35:28 +0000
commit280b3174476ef8fe5a98f3614f4fe253fa243d8c (patch)
tree93062b08134200b703670b0fe91898a437a924d2 /dhall/src/semantics/nze
parent22bec94618454f57773716870f5624579ab712ce (diff)
Finally get rid of all of the shift/subst_shift !
Diffstat (limited to 'dhall/src/semantics/nze')
-rw-r--r--dhall/src/semantics/nze/nzexpr.rs3
1 files changed, 0 insertions, 3 deletions
diff --git a/dhall/src/semantics/nze/nzexpr.rs b/dhall/src/semantics/nze/nzexpr.rs
index 87d0269..c065a5b 100644
--- a/dhall/src/semantics/nze/nzexpr.rs
+++ b/dhall/src/semantics/nze/nzexpr.rs
@@ -104,9 +104,6 @@ impl NzVar {
let id = FRESH_VAR_COUNTER.fetch_add(1, Ordering::SeqCst);
NzVar::Fresh(id)
}
- pub fn shift(&self, delta: isize) -> Self {
- NzVar::new((self.idx() as isize + delta) as usize)
- }
// Panics on a fresh variable.
pub fn idx(&self) -> usize {
match self {