diff options
author | Nadrieril | 2020-01-29 21:35:28 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-29 21:35:28 +0000 |
commit | 280b3174476ef8fe5a98f3614f4fe253fa243d8c (patch) | |
tree | 93062b08134200b703670b0fe91898a437a924d2 /dhall/src/semantics/core/var.rs | |
parent | 22bec94618454f57773716870f5624579ab712ce (diff) |
Finally get rid of all of the shift/subst_shift !
Diffstat (limited to 'dhall/src/semantics/core/var.rs')
-rw-r--r-- | dhall/src/semantics/core/var.rs | 10 |
1 files changed, 0 insertions, 10 deletions
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 { |