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/tck/env.rs | |
parent | 2f65c02a995f6b6d4c755197fc074782f6bb100d (diff) |
Rename Value to Nir
Diffstat (limited to 'dhall/src/semantics/tck/env.rs')
-rw-r--r-- | dhall/src/semantics/tck/env.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/tck/env.rs b/dhall/src/semantics/tck/env.rs index f290c02..17b3cfe 100644 --- a/dhall/src/semantics/tck/env.rs +++ b/dhall/src/semantics/tck/env.rs @@ -1,4 +1,4 @@ -use crate::semantics::{AlphaVar, NameEnv, NzEnv, NzVar, Type, ValEnv, Value}; +use crate::semantics::{AlphaVar, NameEnv, Nir, NzEnv, NzVar, Type, ValEnv}; use crate::syntax::Label; /// Environment for indexing variables. @@ -61,7 +61,7 @@ impl TyEnv { items: self.items.insert_type(ty), } } - pub fn insert_value(&self, x: &Label, e: Value, ty: Type) -> Self { + pub fn insert_value(&self, x: &Label, e: Nir, ty: Type) -> Self { TyEnv { names: self.names.insert(x), items: self.items.insert_value(e, ty), |