diff options
author | Nadrieril | 2019-12-20 18:12:10 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-20 18:12:10 +0000 |
commit | e355984c3c83f8288eac36023c361db869643367 (patch) | |
tree | e8a65c2a3e962da51d9cd6bc5a3fdf996c883432 /dhall/src/semantics/core/value_kind.rs | |
parent | 78d066a44c5598794602effa4c10a09f80ed1e72 (diff) |
s/ExprF/ExprKind/
Diffstat (limited to 'dhall/src/semantics/core/value_kind.rs')
-rw-r--r-- | dhall/src/semantics/core/value_kind.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/core/value_kind.rs b/dhall/src/semantics/core/value_kind.rs index 47df39d..35b2b23 100644 --- a/dhall/src/semantics/core/value_kind.rs +++ b/dhall/src/semantics/core/value_kind.rs @@ -5,7 +5,7 @@ use crate::semantics::core::var::{AlphaLabel, AlphaVar, Shift, Subst}; use crate::semantics::phase::{Normalized, NormalizedExpr}; use crate::semantics::to_expr; use crate::syntax::{ - Builtin, Const, ExprF, Integer, InterpolatedTextContents, Label, + Builtin, Const, ExprKind, Integer, InterpolatedTextContents, Label, NaiveDouble, Natural, }; @@ -43,7 +43,7 @@ pub(crate) enum ValueKind { TextLit(Vec<InterpolatedTextContents<Value>>), Equivalence(Value, Value), // Invariant: in whnf, this must not contain a value captured by one of the variants above. - PartialExpr(ExprF<Value, Normalized>), + PartialExpr(ExprKind<Value, Normalized>), } impl ValueKind { |