From 3881d36335fca6d72b0dd447130d6c1ce7ccbfee Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Fri, 17 Jan 2020 18:19:33 +0000 Subject: Implement bulk shifting --- dhall/src/semantics/core/context.rs | 57 ++++++++++++--------- dhall/src/semantics/core/value.rs | 98 +++++++++++++++++++++++++++++-------- dhall/src/semantics/core/var.rs | 16 +++--- dhall/src/semantics/core/visitor.rs | 26 ++++++---- 4 files changed, 134 insertions(+), 63 deletions(-) (limited to 'dhall/src/semantics') diff --git a/dhall/src/semantics/core/context.rs b/dhall/src/semantics/core/context.rs index a6ab79e..f8d6ff0 100644 --- a/dhall/src/semantics/core/context.rs +++ b/dhall/src/semantics/core/context.rs @@ -40,32 +40,43 @@ impl TyCtx { } pub fn lookup(&self, var: &V