From 015b24b04128cbf5a60fbc8ac3f526306ca27378 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 21 Jan 2020 17:43:44 +0000
Subject: Simplify type error type

---
 dhall/src/semantics/tck/tyexpr.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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

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)),
         }
     }
 
-- 
cgit v1.2.3