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