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