From cc96566758f062bb2e1e7767009c3e709c0678b6 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 30 Apr 2019 18:52:39 +0200
Subject: Avoid some rewrapping of thunks

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

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

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 461f1cc..fb698d0 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -693,7 +693,7 @@ impl TypeIntermediate {
                 );
                 Typed(
                     Value::from_builtin(Builtin::List)
-                        .app(t.clone().normalize_whnf()?)
+                        .app(t.normalize_whnf()?)
                         .into_thunk(),
                     Some(const_to_type(Const::Type)),
                     PhantomData,
@@ -709,7 +709,7 @@ impl TypeIntermediate {
                 );
                 Typed(
                     Value::from_builtin(Builtin::Optional)
-                        .app(t.clone().normalize_whnf()?)
+                        .app(t.normalize_whnf()?)
                         .into_thunk(),
                     Some(const_to_type(Const::Type)),
                     PhantomData,
-- 
cgit v1.2.3