From b72f0968ac19058b9cc513ab0ed1785133232a3d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 24 Jan 2020 21:33:21 +0000
Subject: Implement basic typecheck with new approach

---
 dhall/src/semantics/core/context.rs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'dhall/src/semantics/core')

diff --git a/dhall/src/semantics/core/context.rs b/dhall/src/semantics/core/context.rs
index 0e62fef..9749c50 100644
--- a/dhall/src/semantics/core/context.rs
+++ b/dhall/src/semantics/core/context.rs
@@ -2,8 +2,8 @@ use crate::error::TypeError;
 use crate::semantics::core::value::Value;
 use crate::semantics::core::value::ValueKind;
 use crate::semantics::core::var::{AlphaVar, Binder};
-use crate::semantics::nze::{NzVar, QuoteEnv};
-use crate::semantics::phase::normalize::{NzEnv, NzEnvItem};
+use crate::semantics::nze::NzVar;
+// use crate::semantics::phase::normalize::{NzEnv, NzEnvItem};
 use crate::syntax::{Label, V};
 
 #[derive(Debug, Clone)]
@@ -71,7 +71,6 @@ impl TyCtx {
                 t.clone(),
             ),
             CtxItem::Replaced(v) => v.clone()
-                // .to_tyexpr(QuoteEnv::construct(var_idx))
                 // .normalize_whnf(&NzEnv::construct(
                 //     self.ctx
                 //         .iter()
-- 
cgit v1.2.3