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/nze/mod.rs | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 dhall/src/semantics/nze/mod.rs

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

diff --git a/dhall/src/semantics/nze/mod.rs b/dhall/src/semantics/nze/mod.rs
new file mode 100644
index 0000000..ef8918f
--- /dev/null
+++ b/dhall/src/semantics/nze/mod.rs
@@ -0,0 +1,2 @@
+pub mod nzexpr;
+// pub(crate) use nzexpr::*;
-- 
cgit v1.2.3


From 3182c121815857c0b2b3c057f1d2944c51332cdc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 21 Jan 2020 18:51:00 +0000
Subject: Prepare Value for reverse variables

I thought it would work ><. It's a bit too early
---
 dhall/src/semantics/nze/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/dhall/src/semantics/nze/mod.rs b/dhall/src/semantics/nze/mod.rs
index ef8918f..213404c 100644
--- a/dhall/src/semantics/nze/mod.rs
+++ b/dhall/src/semantics/nze/mod.rs
@@ -1,2 +1,2 @@
 pub mod nzexpr;
-// pub(crate) use nzexpr::*;
+pub(crate) use nzexpr::*;
-- 
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/nze/mod.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/dhall/src/semantics/nze/mod.rs b/dhall/src/semantics/nze/mod.rs
index 213404c..1cd2363 100644
--- a/dhall/src/semantics/nze/mod.rs
+++ b/dhall/src/semantics/nze/mod.rs
@@ -1,2 +1,2 @@
-pub mod nzexpr;
-pub(crate) use nzexpr::*;
+pub mod env;
+pub(crate) use env::*;
-- 
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/nze/mod.rs | 5 +++++
 1 file changed, 5 insertions(+)

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

diff --git a/dhall/src/semantics/nze/mod.rs b/dhall/src/semantics/nze/mod.rs
index 1cd2363..f367f8f 100644
--- a/dhall/src/semantics/nze/mod.rs
+++ b/dhall/src/semantics/nze/mod.rs
@@ -1,2 +1,7 @@
 pub mod env;
+pub mod value;
+pub mod var;
+pub mod visitor;
 pub(crate) use env::*;
+pub(crate) use value::*;
+pub(crate) use var::*;
-- 
cgit v1.2.3


From 653cdb44cec4f54697d18f2c4ae9f67bbbc2fb3d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 17:04:28 +0000
Subject: Move normalize under nze

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

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

diff --git a/dhall/src/semantics/nze/mod.rs b/dhall/src/semantics/nze/mod.rs
index f367f8f..e3b37cd 100644
--- a/dhall/src/semantics/nze/mod.rs
+++ b/dhall/src/semantics/nze/mod.rs
@@ -1,7 +1,9 @@
 pub mod env;
+pub mod normalize;
 pub mod value;
 pub mod var;
 pub mod visitor;
 pub(crate) use env::*;
+pub(crate) use normalize::*;
 pub(crate) use value::*;
 pub(crate) use var::*;
-- 
cgit v1.2.3


From 7062de011eab7954f4bcf78fa1cf970ba91d6a5a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 18:04:16 +0000
Subject: Remove Value visitor

It's mostly useful when we can change types, but it's also too
constraining if we can, because then we can't enforce complex invariants
like the one for TextLit.
---
 dhall/src/semantics/nze/mod.rs | 1 -
 1 file changed, 1 deletion(-)

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

diff --git a/dhall/src/semantics/nze/mod.rs b/dhall/src/semantics/nze/mod.rs
index e3b37cd..3d9c5eb 100644
--- a/dhall/src/semantics/nze/mod.rs
+++ b/dhall/src/semantics/nze/mod.rs
@@ -2,7 +2,6 @@ pub mod env;
 pub mod normalize;
 pub mod value;
 pub mod var;
-pub mod visitor;
 pub(crate) use env::*;
 pub(crate) use normalize::*;
 pub(crate) use value::*;
-- 
cgit v1.2.3


From aa93f18c8ef9ad13c6bb4ddef90b419b3ed546f4 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 31 Jan 2020 19:46:16 +0000
Subject: Factor out custom Lazy struct

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

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

diff --git a/dhall/src/semantics/nze/mod.rs b/dhall/src/semantics/nze/mod.rs
index 3d9c5eb..2c8d907 100644
--- a/dhall/src/semantics/nze/mod.rs
+++ b/dhall/src/semantics/nze/mod.rs
@@ -1,4 +1,5 @@
 pub mod env;
+pub mod lazy;
 pub mod normalize;
 pub mod value;
 pub mod var;
-- 
cgit v1.2.3