diff options
author | Nadrieril | 2020-02-17 18:22:06 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-17 18:22:06 +0000 |
commit | cd5e172002ce724be7bdd52883e121efa8817f20 (patch) | |
tree | b90ed1b2a0fcbec7bc26119596ac25d98918949a /dhall/src/semantics/resolve | |
parent | 2f65c02a995f6b6d4c755197fc074782f6bb100d (diff) |
Rename Value to Nir
Diffstat (limited to 'dhall/src/semantics/resolve')
-rw-r--r-- | dhall/src/semantics/resolve/hir.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/semantics/resolve/hir.rs b/dhall/src/semantics/resolve/hir.rs index ae65fff..346abbf 100644 --- a/dhall/src/semantics/resolve/hir.rs +++ b/dhall/src/semantics/resolve/hir.rs @@ -1,5 +1,5 @@ use crate::error::TypeError; -use crate::semantics::{type_with, NameEnv, NzEnv, Tir, TyEnv, Value}; +use crate::semantics::{type_with, NameEnv, Nir, NzEnv, Tir, TyEnv}; use crate::syntax::{Expr, ExprKind, Span, V}; use crate::{NormalizedExpr, ToExprOptions}; @@ -75,8 +75,8 @@ impl Hir { } /// Eval the Hir. It will actually get evaluated only as needed on demand. - pub fn eval(&self, env: impl Into<NzEnv>) -> Value { - Value::new_thunk(env.into(), self.clone()) + pub fn eval(&self, env: impl Into<NzEnv>) -> Nir { + Nir::new_thunk(env.into(), self.clone()) } } |