diff options
author | Nadrieril | 2020-01-21 17:43:44 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-21 17:43:44 +0000 |
commit | 015b24b04128cbf5a60fbc8ac3f526306ca27378 (patch) | |
tree | 0af03dcc6f7b60812992f4b5001d325b1e786a01 /dhall/src/semantics/core/value.rs | |
parent | 476ef4594c9e8c7121bd8fc303e74ef8207a88f4 (diff) |
Simplify type error type
Diffstat (limited to 'dhall/src/semantics/core/value.rs')
-rw-r--r-- | dhall/src/semantics/core/value.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dhall/src/semantics/core/value.rs b/dhall/src/semantics/core/value.rs index f470019..dc6a116 100644 --- a/dhall/src/semantics/core/value.rs +++ b/dhall/src/semantics/core/value.rs @@ -3,7 +3,6 @@ use std::collections::HashMap; use std::rc::Rc; use crate::error::{TypeError, TypeMessage}; -use crate::semantics::core::context::TyCtx; use crate::semantics::core::var::{AlphaVar, Binder}; use crate::semantics::phase::normalize::{apply_any, normalize_whnf}; use crate::semantics::phase::typecheck::{builtin_to_value, const_to_value}; @@ -438,7 +437,7 @@ impl ValueInternal { fn get_type(&self) -> Result<&Value, TypeError> { match &self.ty { Some(t) => Ok(t), - None => Err(TypeError::new(&TyCtx::new(), TypeMessage::Sort)), + None => Err(TypeError::new(TypeMessage::Sort)), } } |