From 7ba857a96eebbdd1cef0aa22407c870887d24aed Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 11 Apr 2019 19:11:33 +0200
Subject: Remove type parameter from TypeError

---
 dhall/src/error.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dhall/src/error.rs')

diff --git a/dhall/src/error.rs b/dhall/src/error.rs
index 0a02816..1243c94 100644
--- a/dhall/src/error.rs
+++ b/dhall/src/error.rs
@@ -6,7 +6,7 @@ pub enum Error {
     Parse(dhall_core::ParseError),
     Decode(crate::binary::DecodeError),
     Resolve(crate::imports::ImportError),
-    Typecheck(crate::typecheck::TypeError<dhall_core::X>),
+    Typecheck(crate::typecheck::TypeError),
     Deserialize(String),
 }
 
@@ -44,8 +44,8 @@ impl From<crate::imports::ImportError> for Error {
         Error::Resolve(err)
     }
 }
-impl From<crate::typecheck::TypeError<dhall_core::X>> for Error {
-    fn from(err: crate::typecheck::TypeError<dhall_core::X>) -> Error {
+impl From<crate::typecheck::TypeError> for Error {
+    fn from(err: crate::typecheck::TypeError) -> Error {
         Error::Typecheck(err)
     }
 }
-- 
cgit v1.2.3