diff options
author | Nadrieril | 2019-05-05 19:06:28 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-05 19:06:28 +0200 |
commit | d8a3e831fb67f86269c4baa99f9f0798a73a7247 (patch) | |
tree | 7cd7ea07e7d9124ff30e356e216e9ae3024c692c /dhall/src/expr.rs | |
parent | fdac912e0ba7b7dd4f07eb85b13a8b82faa3e50c (diff) |
s/DoubleVar/AlphaVar/
Diffstat (limited to 'dhall/src/expr.rs')
-rw-r--r-- | dhall/src/expr.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index 071bb92..7dbbf1c 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -58,7 +58,7 @@ impl std::fmt::Display for Normalized { mod typed { use super::{Type, Typed}; - use crate::normalize::{DoubleVar, Thunk, Value}; + use crate::normalize::{AlphaVar, Thunk, Value}; use crate::typecheck::{ TypeError, TypeInternal, TypeMessage, TypecheckContext, }; @@ -133,7 +133,7 @@ mod typed { } } - pub(crate) fn shift(&self, delta: isize, var: &DoubleVar) -> Self { + pub(crate) fn shift(&self, delta: isize, var: &AlphaVar) -> Self { match self { TypedInternal::Value(th, t) => TypedInternal::Value( th.shift(delta, var), @@ -143,7 +143,7 @@ mod typed { } } - pub(crate) fn subst_shift(&self, var: &DoubleVar, val: &Typed) -> Self { + pub(crate) fn subst_shift(&self, var: &AlphaVar, val: &Typed) -> Self { match self { TypedInternal::Value(th, t) => TypedInternal::Value( th.subst_shift(var, val), |