summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/src/typecheck.rs11
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,