summaryrefslogtreecommitdiff
path: root/dhall/src/error
diff options
context:
space:
mode:
authorNadrieril2019-05-07 19:47:04 +0200
committerNadrieril2019-05-07 19:47:04 +0200
commit833cb91cec6ae708e17a0f9589eba9560e81bd07 (patch)
tree4a0b2b988664eff1e843cb128497f895976911ba /dhall/src/error
parentb3f00a827bcdd0fe406ccf8913cc5fb7cd6e0f2f (diff)
Unify typecheck and normalization contexts
Diffstat (limited to 'dhall/src/error')
-rw-r--r--dhall/src/error/mod.rs6
1 files changed, 0 insertions, 6 deletions
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::*;