diff options
author | Nadrieril | 2019-05-07 19:47:04 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-07 19:47:04 +0200 |
commit | 833cb91cec6ae708e17a0f9589eba9560e81bd07 (patch) | |
tree | 4a0b2b988664eff1e843cb128497f895976911ba /dhall/src/error | |
parent | b3f00a827bcdd0fe406ccf8913cc5fb7cd6e0f2f (diff) |
Unify typecheck and normalization contexts
Diffstat (limited to '')
-rw-r--r-- | dhall/src/error/mod.rs | 6 |
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::*; |