diff options
author | Nadrieril | 2019-12-27 15:31:06 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-17 10:06:00 +0000 |
commit | 5542797c77a9dfcdffec539f1a82341a450291a2 (patch) | |
tree | e11cf53df0d6c06d67da2f148ca9eaf0fa1af620 /dhall/src/semantics/core/value.rs | |
parent | e97e0c8e9905582aef826504b59a1844c8f67613 (diff) |
s/TypecheckContext/TyCtx/
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/core/value.rs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/dhall/src/semantics/core/value.rs b/dhall/src/semantics/core/value.rs index 6fa00ac..f06c614 100644 --- a/dhall/src/semantics/core/value.rs +++ b/dhall/src/semantics/core/value.rs @@ -3,7 +3,7 @@ use std::collections::HashMap; use std::rc::Rc; use crate::error::{TypeError, TypeMessage}; -use crate::semantics::core::context::TypecheckContext; +use crate::semantics::core::context::TyCtx; use crate::semantics::core::var::{AlphaLabel, AlphaVar, Shift, Subst}; use crate::semantics::phase::normalize::{apply_any, normalize_whnf}; use crate::semantics::phase::typecheck::{builtin_to_value, const_to_value}; @@ -292,9 +292,7 @@ impl ValueInternal { fn get_type(&self) -> Result<&Value, TypeError> { match &self.ty { Some(t) => Ok(t), - None => { - Err(TypeError::new(&TypecheckContext::new(), TypeMessage::Sort)) - } + None => Err(TypeError::new(&TyCtx::new(), TypeMessage::Sort)), } } } |