From 7743647137d1914c280e03d6aaee81e507cff97d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 11:17:49 +0000
Subject: Remove old typecheck module

---
 dhall/src/semantics/phase/resolve.rs | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'dhall/src/semantics/phase/resolve.rs')

diff --git a/dhall/src/semantics/phase/resolve.rs b/dhall/src/semantics/phase/resolve.rs
index 64106aa..cc4a024 100644
--- a/dhall/src/semantics/phase/resolve.rs
+++ b/dhall/src/semantics/phase/resolve.rs
@@ -52,14 +52,10 @@ fn load_import(
     import_cache: &mut ImportCache,
     import_stack: &ImportStack,
 ) -> Result<Normalized, Error> {
-    // Ok(
-    //     do_resolve_expr(Parsed::parse_file(f)?, import_cache, import_stack)?
-    //         .typecheck()?
-    //         .normalize(),
-    // )
     Ok(
         do_resolve_expr(Parsed::parse_file(f)?, import_cache, import_stack)?
-            .tck_and_normalize_new_flow()?,
+            .typecheck()?
+            .normalize(),
     )
 }
 
-- 
cgit v1.2.3