From 54382cd107d1befd6015f8232716158a20db44a4 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 23:35:39 +0100
Subject: Start parsing imports

---
 dhall/src/main.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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

diff --git a/dhall/src/main.rs b/dhall/src/main.rs
index 3e8aca4..43d03ce 100644
--- a/dhall/src/main.rs
+++ b/dhall/src/main.rs
@@ -91,9 +91,7 @@ fn main() {
         }
     };
 
-    /*
-    expr' <- load expr
-    */
+    let expr = imports::resolve_imports(&expr);
 
     let type_expr = match typecheck::type_of(&expr) {
         Err(e) => {
-- 
cgit v1.2.3