summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs
diff options
context:
space:
mode:
authorNadrieril2020-01-30 17:16:25 +0000
committerNadrieril2020-01-30 17:16:25 +0000
commit8ff022fa2cec34bc1d46ac3655d0c3d228ef893c (patch)
tree1580d703d6ba21d97fafed4d84a5f934ffb9daf7 /dhall/src/lib.rs
parent0a60a4a891cd8c527ecc3caf6502bd614118d59a (diff)
Move parse and resolve up a level
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r--dhall/src/lib.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index cbf3ceb..e9f8aa3 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -21,9 +21,9 @@ use std::fmt::Display;
use std::path::Path;
use crate::error::{EncodeError, Error, ImportError, TypeError};
-use crate::semantics::phase::parse;
-use crate::semantics::phase::resolve;
-use crate::semantics::phase::resolve::ImportRoot;
+use crate::semantics::parse;
+use crate::semantics::resolve;
+use crate::semantics::resolve::ImportRoot;
use crate::semantics::{typecheck, typecheck_with, TyExpr, Value, ValueKind};
use crate::syntax::binary;
use crate::syntax::{Builtin, Const, Expr};