From d1ad0a2036ce689d4a6b5f38a1641b9ce475df9e Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 23 Apr 2019 22:37:05 +0200 Subject: Fix shifting under Pi --- dhall/src/typecheck.rs | 42 +++++++++++++++++++++++++++++------------- 1 file changed, 29 insertions(+), 13 deletions(-) (limited to 'dhall/src') diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index d45b93c..0ee481f 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -57,6 +57,13 @@ impl<'a> Normalized<'a> { self.2, ) } + fn shift(&self, delta: isize, var: &V