Reimplement basic tck/nze with proper environments

Inspired from dhall_haskell

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()))
+    }
+}