From e410dbb428e621fe600be43ddecca1c7bff7cb2f Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 29 Jan 2020 19:11:52 +0000 Subject: Fix insufficient normalization --- dhall/src/semantics/phase/mod.rs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'dhall/src/semantics/phase') diff --git a/dhall/src/semantics/phase/mod.rs b/dhall/src/semantics/phase/mod.rs index 0f8194c..2727a61 100644 --- a/dhall/src/semantics/phase/mod.rs +++ b/dhall/src/semantics/phase/mod.rs @@ -102,9 +102,7 @@ impl Resolved { impl Typed { /// Reduce an expression to its normal form, performing beta reduction pub fn normalize(&self) -> Normalized { - let mut val = self.0.normalize_whnf_noenv(); - val.normalize_mut(); - Normalized(val) + Normalized(self.0.normalize_nf_noenv()) } /// Converts a value back to the corresponding AST expression. -- cgit v1.2.3