From c448698f797f2304dca0e0b8b833959de00ca079 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 20 Jan 2020 15:27:19 +0000
Subject: Reimplement basic tck/nze with proper environments

Inspired from dhall_haskell
---
 dhall/src/error/mod.rs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'dhall/src/error')

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()))
+    }
+}
-- 
cgit v1.2.3