summaryrefslogtreecommitdiff
path: root/dhall/src/phase
diff options
context:
space:
mode:
authorNadrieril2019-05-07 18:23:07 +0200
committerNadrieril2019-05-07 18:23:07 +0200
commit8cb3046e0920bf24d66c578b1a2b184c741b73fe (patch)
tree2fd14f54a5d140cf62afa75cf6b37dab8b90536f /dhall/src/phase
parent3da450aa3fae23214aa982643b9bc4dd0ea4eaa6 (diff)
Move AlphaVar and AlphaLabel into a new module
Diffstat (limited to 'dhall/src/phase')
-rw-r--r--dhall/src/phase/mod.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs
index c8a8ffd..97b8083 100644
--- a/dhall/src/phase/mod.rs
+++ b/dhall/src/phase/mod.rs
@@ -6,7 +6,8 @@ use dhall_syntax::{Const, Import, Span, SubExpr, X};
use crate::core::context::TypecheckContext;
use crate::core::thunk::Thunk;
-use crate::core::value::{AlphaVar, Value};
+use crate::core::value::Value;
+use crate::core::var::AlphaVar;
use crate::error::{Error, ImportError, TypeError, TypeMessage};
use resolve::ImportRoot;