From 8e2da26650e202f9ccb1531fc8a88cfd89e54b6d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 27 Dec 2019 15:15:08 +0000
Subject: Implement traverse_ref for ValueKind

---
 dhall/src/semantics/mod.rs | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index 1eeef86..3ef1aba 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -1,3 +1,4 @@
 pub mod core;
 pub mod phase;
 pub mod to_expr;
+pub(crate) use self::core::*;
-- 
cgit v1.2.3


From ec28905d32c23109da17696faefab284fde3e103 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 18 Jan 2020 18:46:09 +0000
Subject: Introduce intermediate representation that stores typed expr

---
 dhall/src/semantics/mod.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index 3ef1aba..63f74ee 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -1,4 +1,5 @@
 pub mod core;
 pub mod phase;
-pub mod to_expr;
+pub mod tck;
 pub(crate) use self::core::*;
+pub(crate) use self::tck::*;
-- 
cgit v1.2.3


From c448698f797f2304dca0e0b8b833959de00ca079 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 20 Jan 2020 15:27:19 +0000
Subject: Reimplement basic tck/nze with proper environments

Inspired from dhall_haskell
---
 dhall/src/semantics/mod.rs | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index 63f74ee..1304502 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -1,4 +1,5 @@
 pub mod core;
+pub mod nze;
 pub mod phase;
 pub mod tck;
 pub(crate) use self::core::*;
-- 
cgit v1.2.3


From 489174a426e6057a68b6edd2e9b4387d09912a25 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 29 Jan 2020 21:56:52 +0000
Subject: Move envs to their own files

---
 dhall/src/semantics/mod.rs | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index 1304502..ce08334 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -3,4 +3,5 @@ pub mod nze;
 pub mod phase;
 pub mod tck;
 pub(crate) use self::core::*;
+pub(crate) use self::nze::*;
 pub(crate) use self::tck::*;
-- 
cgit v1.2.3


From 655f67fb29ca847f86c3e19338757e7b031d4f50 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 11:09:39 +0000
Subject: Move builtins-related code to its own module

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

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

diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index ce08334..01bbd39 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -1,7 +1,9 @@
+pub mod builtins;
 pub mod core;
 pub mod nze;
 pub mod phase;
 pub mod tck;
+pub(crate) use self::builtins::*;
 pub(crate) use self::core::*;
 pub(crate) use self::nze::*;
 pub(crate) use self::tck::*;
-- 
cgit v1.2.3


From 0c95dd4f940e796865976dad594068ae0fff8f7c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 17:01:36 +0000
Subject: Move Value-related stuff under semantics::nze

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

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

diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index 01bbd39..92e5912 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -1,9 +1,7 @@
 pub mod builtins;
-pub mod core;
 pub mod nze;
 pub mod phase;
 pub mod tck;
 pub(crate) use self::builtins::*;
-pub(crate) use self::core::*;
 pub(crate) use self::nze::*;
 pub(crate) use self::tck::*;
-- 
cgit v1.2.3


From 8ff022fa2cec34bc1d46ac3655d0c3d228ef893c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 17:16:25 +0000
Subject: Move parse and resolve up a level

---
 dhall/src/semantics/mod.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

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::*;
-- 
cgit v1.2.3