summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase
diff options
context:
space:
mode:
authorNadrieril2020-01-29 19:11:52 +0000
committerNadrieril2020-01-29 19:11:52 +0000
commite410dbb428e621fe600be43ddecca1c7bff7cb2f (patch)
tree76bf405171aed32fae08d26d95eeb525b1a0095c /dhall/src/semantics/phase
parent1e466a20533d936f44430b1bc18508cd00e5ccd2 (diff)
Fix insufficient normalization
Diffstat (limited to 'dhall/src/semantics/phase')
-rw-r--r--dhall/src/semantics/phase/mod.rs4
1 files changed, 1 insertions, 3 deletions
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.