diff options
author | Nadrieril | 2020-01-30 17:16:25 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-30 17:16:25 +0000 |
commit | 8ff022fa2cec34bc1d46ac3655d0c3d228ef893c (patch) | |
tree | 1580d703d6ba21d97fafed4d84a5f934ffb9daf7 /dhall/src/semantics | |
parent | 0a60a4a891cd8c527ecc3caf6502bd614118d59a (diff) |
Move parse and resolve up a level
Diffstat (limited to 'dhall/src/semantics')
-rw-r--r-- | dhall/src/semantics/mod.rs | 3 | ||||
-rw-r--r-- | dhall/src/semantics/parse.rs (renamed from dhall/src/semantics/phase/parse.rs) | 2 | ||||
-rw-r--r-- | dhall/src/semantics/phase/mod.rs | 2 | ||||
-rw-r--r-- | dhall/src/semantics/resolve.rs (renamed from dhall/src/semantics/phase/resolve.rs) | 0 |
4 files changed, 3 insertions, 4 deletions
diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs index 92e5912..98fdf5a 100644 --- a/dhall/src/semantics/mod.rs +++ b/dhall/src/semantics/mod.rs @@ -1,6 +1,7 @@ pub mod builtins; pub mod nze; -pub mod phase; +pub mod parse; +pub mod resolve; pub mod tck; pub(crate) use self::builtins::*; pub(crate) use self::nze::*; diff --git a/dhall/src/semantics/phase/parse.rs b/dhall/src/semantics/parse.rs index b72fe7f..ee35536 100644 --- a/dhall/src/semantics/phase/parse.rs +++ b/dhall/src/semantics/parse.rs @@ -3,7 +3,7 @@ use std::io::Read; use std::path::Path; use crate::error::Error; -use crate::semantics::phase::resolve::ImportRoot; +use crate::semantics::resolve::ImportRoot; use crate::syntax::binary; use crate::syntax::parse_expr; use crate::Parsed; diff --git a/dhall/src/semantics/phase/mod.rs b/dhall/src/semantics/phase/mod.rs deleted file mode 100644 index 02e2b18..0000000 --- a/dhall/src/semantics/phase/mod.rs +++ /dev/null @@ -1,2 +0,0 @@ -pub(crate) mod parse; -pub(crate) mod resolve; diff --git a/dhall/src/semantics/phase/resolve.rs b/dhall/src/semantics/resolve.rs index 3acf114..3acf114 100644 --- a/dhall/src/semantics/phase/resolve.rs +++ b/dhall/src/semantics/resolve.rs |