diff options
author | Nadrieril | 2019-12-15 19:56:54 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-15 19:56:54 +0000 |
commit | 0105e3c31dbb2984e5c4b9d51cc3b27767e7683c (patch) | |
tree | 0e0a5eff865529fec1709201d241bd99ca14baba /dhall/src/semantics/core/valuef.rs | |
parent | ec761bbd0de807bf1cb0da9389d714e3d812dd6d (diff) |
Avoid mention of `crate::` outside of top-level imports
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/core/valuef.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/dhall/src/semantics/core/valuef.rs b/dhall/src/semantics/core/valuef.rs index e9ac391..e11d5d7 100644 --- a/dhall/src/semantics/core/valuef.rs +++ b/dhall/src/semantics/core/valuef.rs @@ -1,14 +1,14 @@ use std::collections::HashMap; -use crate::syntax::{ - Builtin, Const, ExprF, Integer, InterpolatedTextContents, Label, - NaiveDouble, Natural, -}; - use crate::core::value::{ToExprOptions, Value}; use crate::core::var::{AlphaLabel, AlphaVar, Shift, Subst}; use crate::phase::typecheck::rc; use crate::phase::{Normalized, NormalizedExpr}; +use crate::syntax; +use crate::syntax::{ + Builtin, Const, ExprF, Integer, InterpolatedTextContents, Label, + NaiveDouble, Natural, +}; /// A semantic value. Subexpressions are Values, which are partially evaluated expressions that are /// normalized on-demand. @@ -117,7 +117,7 @@ impl ValueF { .collect(), )), ValueF::Equivalence(x, y) => rc(ExprF::BinOp( - crate::syntax::BinOp::Equivalence, + syntax::BinOp::Equivalence, x.to_expr(opts), y.to_expr(opts), )), |