summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/core/context.rs
diff options
context:
space:
mode:
authorNadrieril2019-12-15 19:56:54 +0000
committerNadrieril2019-12-15 19:56:54 +0000
commit0105e3c31dbb2984e5c4b9d51cc3b27767e7683c (patch)
tree0e0a5eff865529fec1709201d241bd99ca14baba /dhall/src/semantics/core/context.rs
parentec761bbd0de807bf1cb0da9389d714e3d812dd6d (diff)
Avoid mention of `crate::` outside of top-level imports
Diffstat (limited to '')
-rw-r--r--dhall/src/semantics/core/context.rs3
1 files changed, 1 insertions, 2 deletions
diff --git a/dhall/src/semantics/core/context.rs b/dhall/src/semantics/core/context.rs
index 00e1493..c3da823 100644
--- a/dhall/src/semantics/core/context.rs
+++ b/dhall/src/semantics/core/context.rs
@@ -1,12 +1,11 @@
use std::collections::HashMap;
use std::rc::Rc;
-use crate::syntax::{Label, V};
-
use crate::core::value::Value;
use crate::core::valuef::ValueF;
use crate::core::var::{AlphaVar, Shift, Subst};
use crate::error::TypeError;
+use crate::syntax::{Label, V};
#[derive(Debug, Clone)]
enum CtxItem {