From 833cb91cec6ae708e17a0f9589eba9560e81bd07 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 7 May 2019 19:47:04 +0200
Subject: Unify typecheck and normalization contexts

---
 dhall/src/phase/typecheck.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dhall/src/phase/typecheck.rs')

diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index f8ee559..bfe85b9 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -378,8 +378,8 @@ fn type_with(
                 v.clone()
             };
 
-            let v = type_with(ctx, v)?.normalize();
-            let e = type_with(&ctx.insert_value(x, v.clone()), e.clone())?;
+            let v = type_with(ctx, v)?;
+            let e = type_with(&ctx.insert_value(x, v.clone())?, e.clone())?;
 
             Ok(RetType(e.get_type()?.into_owned()))
         }
-- 
cgit v1.2.3