From 833cb91cec6ae708e17a0f9589eba9560e81bd07 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 7 May 2019 19:47:04 +0200
Subject: Unify typecheck and normalization contexts

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

(limited to 'dhall/src/error')

diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs
index f84d078..bb1acbd 100644
--- a/dhall/src/error/mod.rs
+++ b/dhall/src/error/mod.rs
@@ -78,12 +78,6 @@ impl TypeError {
     }
 }
 
-impl From<TypeError> for std::option::NoneError {
-    fn from(_: TypeError) -> std::option::NoneError {
-        std::option::NoneError
-    }
-}
-
 impl std::error::Error for TypeMessage {
     fn description(&self) -> &str {
         use TypeMessage::*;
-- 
cgit v1.2.3