diff options
author | Nadrieril | 2020-01-29 19:11:52 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-29 19:11:52 +0000 |
commit | e410dbb428e621fe600be43ddecca1c7bff7cb2f (patch) | |
tree | 76bf405171aed32fae08d26d95eeb525b1a0095c /dhall/src/semantics/tck/tyexpr.rs | |
parent | 1e466a20533d936f44430b1bc18508cd00e5ccd2 (diff) |
Fix insufficient normalization
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/tck/tyexpr.rs | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/dhall/src/semantics/tck/tyexpr.rs b/dhall/src/semantics/tck/tyexpr.rs index 9e8dc47..e4108ad 100644 --- a/dhall/src/semantics/tck/tyexpr.rs +++ b/dhall/src/semantics/tck/tyexpr.rs @@ -67,7 +67,15 @@ impl TyExpr { normalize_tyexpr_whnf(self, env) } pub fn normalize_whnf_noenv(&self) -> Value { - normalize_tyexpr_whnf(self, &NzEnv::new()) + self.normalize_whnf(&NzEnv::new()) + } + pub fn normalize_nf(&self, env: &NzEnv) -> Value { + let mut val = self.normalize_whnf(env); + val.normalize_mut(); + val + } + pub fn normalize_nf_noenv(&self) -> Value { + self.normalize_nf(&NzEnv::new()) } } |