Correctly shift values before inserting into context

1 files changed, 7 insertions, 4 deletions

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 7fcf28e..90809af 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -284,9 +284,10 @@ impl TypecheckContext {
     }
     pub(crate) fn insert_type(&self, x: &Label, t: Type<'static>) -> Self {
         TypecheckContext(
-            self.0
-                .map(|_, e| e.shift0(1, x))
-                .insert(x.clone(), EnvItem::Type(V(x.clone(), 0), t)),
+            self.0.map(|_, e| e.shift0(1, x)).insert(
+                x.clone(),
+                EnvItem::Type(V(x.clone(), 0), t.shift0(1, x)),
+            ),
         )
     }
     pub(crate) fn insert_value(
@@ -294,7 +295,9 @@ impl TypecheckContext {
         x: &Label,
         t: Normalized<'static>,
     ) -> Self {
-        TypecheckContext(self.0.insert(x.clone(), EnvItem::Value(t)))
+        TypecheckContext(
+            self.0.insert(x.clone(), EnvItem::Value(t.shift0(1, x))),
+        )
     }
     pub(crate) fn lookup(
         &self,