From 17ab417aeb5aea6cd21240a491607b9017194737 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 2 May 2019 17:18:52 +0200 Subject: Remove shift0 --- dhall/src/normalize.rs | 39 +++++++++++++++++++++------------------ dhall/src/typecheck.rs | 19 +++++-------------- 2 files changed, 26 insertions(+), 32 deletions(-) (limited to 'dhall') diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index a023d38..f991a2e 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -38,10 +38,6 @@ impl<'a> Typed<'a> { Normalized(internal, self.1) } - pub(crate) fn shift0(&self, delta: isize, x: &Label) -> Self { - self.shift(delta, &V(x.clone(), 0)) - } - pub(crate) fn shift(&self, delta: isize, var: &V