diff options
author | Nadrieril | 2019-08-20 17:08:01 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-20 17:08:01 +0200 |
commit | a506632b27b287d1bf898e2f77ae09a56902474c (patch) | |
tree | 52d704b5c59c213b31b655c03b4fe14e78cb30c1 /dhall/src/core/value.rs | |
parent | 04438824db21fb5d9d3a2abdb3fa167875bda892 (diff) |
Naming tweaks
Diffstat (limited to '')
-rw-r--r-- | dhall/src/core/value.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/core/value.rs b/dhall/src/core/value.rs index f897f16..5055ac2 100644 --- a/dhall/src/core/value.rs +++ b/dhall/src/core/value.rs @@ -8,7 +8,7 @@ use crate::core::context::TypecheckContext; use crate::core::valuef::ValueF; use crate::core::var::{AlphaVar, Shift, Subst}; use crate::error::{TypeError, TypeMessage}; -use crate::phase::normalize::{apply_any, normalize_whnf, OutputSubExpr}; +use crate::phase::normalize::{apply_any, normalize_whnf}; use crate::phase::typecheck::{builtin_to_value, const_to_value}; use crate::phase::{NormalizedSubExpr, Typed}; @@ -208,11 +208,11 @@ impl Value { pub(crate) fn normalize_to_expr_maybe_alpha( &self, alpha: bool, - ) -> OutputSubExpr { + ) -> NormalizedSubExpr { self.as_nf().normalize_to_expr_maybe_alpha(alpha) } - pub(crate) fn app_value(&self, th: Value) -> ValueF { + pub(crate) fn app(&self, th: Value) -> ValueF { apply_any(self.clone(), th) } |