From 412d0fac51b7b51aabcb049e3d6ba52f3dda1529 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 6 Apr 2019 20:32:25 +0200
Subject: Move binary decoding to new API

---
 dhall/src/expr.rs | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

(limited to 'dhall/src/expr.rs')

diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs
index 72633ea..ae52e4d 100644
--- a/dhall/src/expr.rs
+++ b/dhall/src/expr.rs
@@ -1,27 +1,33 @@
-use crate::imports::ImportError;
 use crate::imports::ImportRoot;
 use crate::typecheck::TypeError;
 use dhall_core::*;
 
-#[derive(Debug, Clone)]
+#[derive(Debug, Clone, Eq)]
 pub struct Parsed(pub(crate) SubExpr<X, Import>, pub(crate) ImportRoot);
-#[derive(Debug, Clone)]
+
+#[derive(Debug, Clone, PartialEq, Eq)]
 pub struct Resolved(pub(crate) SubExpr<X, X>);
+
 #[derive(Debug, Clone)]
 pub struct Typed(pub(crate) SubExpr<X, X>, Type);
+
 #[derive(Debug, Clone)]
 pub struct Type(pub(crate) Box<Normalized>);
+
 #[derive(Debug, Clone)]
 pub struct Normalized(pub(crate) SubExpr<X, X>);
 
-impl Parsed {
-    pub fn resolve(self) -> Result<Resolved, ImportError> {
-        crate::imports::resolve_expr(self, true)
+impl PartialEq for Parsed {
+    fn eq(&self, other: &Self) -> bool {
+        self.0 == other.0
     }
-    pub fn resolve_no_imports(self) -> Result<Resolved, ImportError> {
-        crate::imports::resolve_expr(self, false)
+}
+impl std::fmt::Display for Parsed {
+    fn fmt(&self, f: &mut std::fmt::Formatter) -> Result<(), std::fmt::Error> {
+        self.0.fmt(f)
     }
 }
+
 impl Resolved {
     pub fn typecheck(self) -> Result<Typed, TypeError<X>> {
         let typ = Type(Box::new(Normalized(crate::typecheck::type_of(
-- 
cgit v1.2.3