diff options
author | Nadrieril | 2020-01-24 21:33:21 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-24 21:33:21 +0000 |
commit | b72f0968ac19058b9cc513ab0ed1785133232a3d (patch) | |
tree | 07647b0f0e3e0f9583d06b4fb1210e6c702d535f /dhall/src/semantics/core/context.rs | |
parent | 9e9b556ee2212540ba43d85249df8c763aa6da2b (diff) |
Implement basic typecheck with new approach
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/core/context.rs | 5 |
1 files changed, 2 insertions, 3 deletions
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() |