From 0f4a4801ed67826dc82015d39ce8fd05e7950035 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Fri, 17 Jan 2020 18:42:13 +0000 Subject: Replace all bulk shifting by a single shift --- dhall/src/semantics/core/context.rs | 15 ++++--------- dhall/src/semantics/core/value.rs | 45 ------------------------------------- dhall/src/semantics/core/var.rs | 20 ++++------------- dhall/src/syntax/ast/expr.rs | 26 --------------------- 4 files changed, 8 insertions(+), 98 deletions(-) diff --git a/dhall/src/semantics/core/context.rs b/dhall/src/semantics/core/context.rs index f8d6ff0..47d2d2d 100644 --- a/dhall/src/semantics/core/context.rs +++ b/dhall/src/semantics/core/context.rs @@ -1,5 +1,3 @@ -use std::collections::HashMap; - use crate::error::TypeError; use crate::semantics::core::value::Value; use crate::semantics::core::value::ValueKind; @@ -40,7 +38,7 @@ impl TyCtx { } pub fn lookup(&self, var: &V