From 320eddc8850b1a36a006cbb136e54a9e2322674f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 6 Apr 2019 11:26:56 +0200
Subject: Remove an unnecessary normalization

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

(limited to 'dhall')

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 145de63..97c4de6 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -264,13 +264,12 @@ where
                     return Err(mkerr(NotAFunction(f.clone(), tf)));
                 }
             };
-            let tA = normalize(SubExpr::clone(tA));
             let tA2 = normalized_type_with(ctx, a.clone())?;
             if prop_equal(tA.as_ref(), tA2.as_ref()) {
                 let vx0 = &V(x.clone(), 0);
                 return Ok(subst_shift(vx0, &a, &tB));
             } else {
-                Err(mkerr(TypeMismatch(f.clone(), tA, a.clone(), tA2)))
+                Err(mkerr(TypeMismatch(f.clone(), tA.clone(), a.clone(), tA2)))
             }
         }
         Let(f, mt, r, b) => {
-- 
cgit v1.2.3