impl Display for Expr

1 files changed, 10 insertions, 1 deletions

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