diff options
author | Nadrieril | 2020-04-06 18:33:58 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-06 18:33:58 +0100 |
commit | 7efdbd11db0f54f065d4dc41f0cab4b158d4515c (patch) | |
tree | cff31e7b4b52b2b51490f0ee06a8dbcc46bdcefa /dhall/src/semantics/nze/nir.rs | |
parent | 531fdb1757a97a3accc8e836a1ff3a3977c37bfe (diff) |
Factor our operations in normalization
Diffstat (limited to 'dhall/src/semantics/nze/nir.rs')
-rw-r--r-- | dhall/src/semantics/nze/nir.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/nze/nir.rs b/dhall/src/semantics/nze/nir.rs index 73c3f30..2b7a819 100644 --- a/dhall/src/semantics/nze/nir.rs +++ b/dhall/src/semantics/nze/nir.rs @@ -3,7 +3,7 @@ use std::rc::Rc; use crate::semantics::nze::lazy; use crate::semantics::{ - apply_any, normalize_hir_whnf, normalize_one_layer, squash_textlit, Binder, + apply_any, normalize_hir, normalize_one_layer, squash_textlit, Binder, BuiltinClosure, Hir, HirKind, NzEnv, NzVar, TyEnv, Type, Universe, VarEnv, }; use crate::syntax::{ @@ -309,7 +309,7 @@ impl Thunk { } fn eval(self) -> NirKind { match self { - Thunk::Thunk { env, body } => normalize_hir_whnf(&env, &body), + Thunk::Thunk { env, body } => normalize_hir(&env, &body), Thunk::PartialExpr { env, expr } => normalize_one_layer(expr, &env), } } |