diff options
Diffstat (limited to 'dhall/src/error')
| -rw-r--r-- | dhall/src/error/mod.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs index 56bc8ab..844a3e4 100644 --- a/dhall/src/error/mod.rs +++ b/dhall/src/error/mod.rs @@ -174,3 +174,8 @@ impl From<TypeError> for Error { Error::Typecheck(err) } } +impl From<crate::semantics::nze::nzexpr::TypeError> for Error { + fn from(_: crate::semantics::nze::nzexpr::TypeError) -> Error { + Error::Decode(DecodeError::WrongFormatError("type error".to_string())) + } +} |