summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck
diff options
context:
space:
mode:
authorNadrieril2020-01-30 14:48:38 +0000
committerNadrieril2020-01-30 14:48:38 +0000
commit25bd09136742403d7f3d6c6143f72e6687f39457 (patch)
treeee572105e92b5d79532fa7caea3a6e121ffd95ea /dhall/src/semantics/tck
parentcb86493012b268ec32ad85a42b54fb1a2adab7b0 (diff)
Make unnormalized Values unobservable
Diffstat (limited to '')
-rw-r--r--dhall/src/semantics/tck/tyexpr.rs4
1 files changed, 1 insertions, 3 deletions
diff --git a/dhall/src/semantics/tck/tyexpr.rs b/dhall/src/semantics/tck/tyexpr.rs
index bf7c130..5492b8b 100644
--- a/dhall/src/semantics/tck/tyexpr.rs
+++ b/dhall/src/semantics/tck/tyexpr.rs
@@ -76,9 +76,7 @@ impl TyExpr {
self.normalize_whnf(&NzEnv::new())
}
pub fn normalize_nf(&self, env: &NzEnv) -> Value {
- let mut val = self.normalize_whnf(env);
- val.normalize_mut();
- val
+ self.normalize_whnf(env)
}
pub fn normalize_nf_noenv(&self) -> Value {
self.normalize_nf(&NzEnv::new())