From 1c7435009d364e493fbc0f58c1187691ce973992 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 30 Apr 2019 21:35:44 +0200
Subject: Fix NF tracking error

---
 dhall/src/normalize.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'dhall')

diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 85cadca..dbb6d95 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -1060,8 +1060,9 @@ mod thunk {
                         e.clone(),
                     )
                 }
-                ThunkInternal::Value(m, v) => {
-                    ThunkInternal::Value(*m, v.subst_shift(var, val))
+                ThunkInternal::Value(_, v) => {
+                    // The resulting value may not stay in normal form after substitution
+                    ThunkInternal::Value(WHNF, v.subst_shift(var, val))
                 }
             }
         }
-- 
cgit v1.2.3