diff options
author | Nadrieril | 2019-08-16 19:47:36 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-16 19:51:32 +0200 |
commit | e0f5216215ccb7a4df85d80e11dd265cdb52a44f (patch) | |
tree | 64215976bbc587cc014a60963e206b0bbb625f4d /dhall/src/core/context.rs | |
parent | 45fb07f74f19919f742be6fe7793dc72d4022f26 (diff) |
s/Value/ValueF/
Diffstat (limited to 'dhall/src/core/context.rs')
-rw-r--r-- | dhall/src/core/context.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/core/context.rs b/dhall/src/core/context.rs index cc25749..b1fbde9 100644 --- a/dhall/src/core/context.rs +++ b/dhall/src/core/context.rs @@ -4,7 +4,7 @@ use std::rc::Rc; use dhall_syntax::{Label, V}; use crate::core::thunk::Thunk; -use crate::core::value::Value; +use crate::core::value::ValueF; use crate::core::var::{AlphaVar, Shift, Subst}; use crate::error::TypeError; use crate::phase::{Type, Typed}; @@ -44,7 +44,7 @@ impl TypecheckContext { let i = i.under_multiple_binders(&shift_map); let (th, t) = match i { CtxItem::Kept(newvar, t) => { - (Value::Var(newvar).into_thunk(), t) + (ValueF::Var(newvar).into_thunk(), t) } CtxItem::Replaced(th, t) => (th, t), }; |