summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck
diff options
context:
space:
mode:
authorNadrieril2020-01-21 17:43:44 +0000
committerNadrieril2020-01-21 17:43:44 +0000
commit015b24b04128cbf5a60fbc8ac3f526306ca27378 (patch)
tree0af03dcc6f7b60812992f4b5001d325b1e786a01 /dhall/src/semantics/tck
parent476ef4594c9e8c7121bd8fc303e74ef8207a88f4 (diff)
Simplify type error type
Diffstat (limited to 'dhall/src/semantics/tck')
-rw-r--r--dhall/src/semantics/tck/tyexpr.rs3
1 files changed, 1 insertions, 2 deletions
diff --git a/dhall/src/semantics/tck/tyexpr.rs b/dhall/src/semantics/tck/tyexpr.rs
index 72f5b1d..983f3f8 100644
--- a/dhall/src/semantics/tck/tyexpr.rs
+++ b/dhall/src/semantics/tck/tyexpr.rs
@@ -1,6 +1,5 @@
#![allow(dead_code)]
use crate::error::{TypeError, TypeMessage};
-use crate::semantics::core::context::TyCtx;
use crate::semantics::core::var::AlphaVar;
use crate::semantics::phase::typecheck::rc;
use crate::semantics::phase::Normalized;
@@ -40,7 +39,7 @@ impl TyExpr {
pub fn get_type(&self) -> Result<Type, TypeError> {
match &self.ty {
Some(t) => Ok(t.clone()),
- None => Err(TypeError::new(&TyCtx::new(), TypeMessage::Sort)),
+ None => Err(TypeError::new(TypeMessage::Sort)),
}
}