diff options
Diffstat (limited to 'dhall/src/semantics/nze/nzexpr.rs')
| -rw-r--r-- | dhall/src/semantics/nze/nzexpr.rs | 3 |
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 { |