From 8264df65c21b5ad508c5faf96c4a1f9d732449cc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 17 Feb 2020 17:50:22 +0000
Subject: Move hir and resolve into a module

---
 dhall/src/semantics/resolve/mod.rs | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dhall/src/semantics/resolve/mod.rs

(limited to 'dhall/src/semantics/resolve/mod.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::*;
-- 
cgit v1.2.3


From 8da4445e6d06cf79d43112042b69c798f86884f3 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 17 Feb 2020 17:58:03 +0000
Subject: Extract resolve-relevant envs together

---
 dhall/src/semantics/resolve/mod.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dhall/src/semantics/resolve/mod.rs')

diff --git a/dhall/src/semantics/resolve/mod.rs b/dhall/src/semantics/resolve/mod.rs
index c0486dd..517907b 100644
--- a/dhall/src/semantics/resolve/mod.rs
+++ b/dhall/src/semantics/resolve/mod.rs
@@ -1,6 +1,6 @@
 pub mod env;
-pub mod resolve;
 pub mod hir;
+pub mod resolve;
 pub(crate) use env::*;
-pub(crate) use resolve::*;
 pub(crate) use hir::*;
+pub(crate) use resolve::*;
-- 
cgit v1.2.3