diff options
| author | Nadrieril | 2020-01-30 14:48:38 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-30 14:48:38 +0000 |
| commit | 25bd09136742403d7f3d6c6143f72e6687f39457 (patch) | |
| tree | ee572105e92b5d79532fa7caea3a6e121ffd95ea /dhall/src/semantics/tck | |
| parent | cb86493012b268ec32ad85a42b54fb1a2adab7b0 (diff) | |
Make unnormalized Values unobservable
Diffstat (limited to 'dhall/src/semantics/tck')
| -rw-r--r-- | dhall/src/semantics/tck/tyexpr.rs | 4 |
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()) |