From 0838b62f7eb23200fa2dba18b894a90cbaac88b6 Mon Sep 17 00:00:00 2001
From: NanoTech
Date: Fri, 9 Dec 2016 06:16:12 +0000
Subject: impl Display for Expr

---
 src/main.rs | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'src/main.rs')

diff --git a/src/main.rs b/src/main.rs
index 17c990d..a4b5408 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -89,7 +89,16 @@ fn main() {
     expr' <- load expr
     */
 
-    println!("{:?}", typecheck::type_of(&expr));
+    let type_expr = match typecheck::type_of(&expr) {
+        Err(e) => {
+            println!("{:?}", e);
+            return;
+        }
+        Ok(type_expr) => type_expr,
+    };
+    println!("{}", type_expr);
+    println!("");
+    println!("{}", normalize::<_, X, _>(*expr));
     /*
     typeExpr <- case Dhall.TypeCheck.typeOf expr' of
         Left  err      -> Control.Exception.throwIO err
-- 
cgit v1.2.3