summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2020-02-17 17:50:22 +0000
committerNadrieril2020-02-17 17:50:22 +0000
commit8264df65c21b5ad508c5faf96c4a1f9d732449cc (patch)
tree0fcce6d49f10866b545aa0762e5c8e102be166df
parentc451c18103b871e563b12c524bc3feec5451154c (diff)
Move hir and resolve into a module
-rw-r--r--dhall/src/semantics/mod.rs2
-rw-r--r--dhall/src/semantics/resolve/env.rs0
-rw-r--r--dhall/src/semantics/resolve/hir.rs (renamed from dhall/src/semantics/hir.rs)0
-rw-r--r--dhall/src/semantics/resolve/mod.rs6
-rw-r--r--dhall/src/semantics/resolve/resolve.rs (renamed from dhall/src/semantics/resolve.rs)0
5 files changed, 6 insertions, 2 deletions
diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index ffa16ca..87033c9 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -1,11 +1,9 @@
pub mod builtins;
-pub mod hir;
pub mod nze;
pub mod parse;
pub mod resolve;
pub mod tck;
pub(crate) use self::builtins::*;
-pub(crate) use self::hir::*;
pub(crate) use self::nze::*;
pub(crate) use self::resolve::*;
pub(crate) use self::tck::*;
diff --git a/dhall/src/semantics/resolve/env.rs b/dhall/src/semantics/resolve/env.rs
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/dhall/src/semantics/resolve/env.rs
diff --git a/dhall/src/semantics/hir.rs b/dhall/src/semantics/resolve/hir.rs
index b5db66f..b5db66f 100644
--- a/dhall/src/semantics/hir.rs
+++ b/dhall/src/semantics/resolve/hir.rs
diff --git a/dhall/src/semantics/resolve/mod.rs b/dhall/src/semantics/resolve/mod.rs
new file mode 100644
index 0000000..c0486dd
--- /dev/null
+++ b/dhall/src/semantics/resolve/mod.rs
@@ -0,0 +1,6 @@
+pub mod env;
+pub mod resolve;
+pub mod hir;
+pub(crate) use env::*;
+pub(crate) use resolve::*;
+pub(crate) use hir::*;
diff --git a/dhall/src/semantics/resolve.rs b/dhall/src/semantics/resolve/resolve.rs
index 3038597..3038597 100644
--- a/dhall/src/semantics/resolve.rs
+++ b/dhall/src/semantics/resolve/resolve.rs