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

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

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


From aec80599f161096b68cac88ffb8852a61b62fcfa Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 19 Jan 2020 18:30:13 +0000
Subject: Restore more types in value_to_tyexpr

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

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

diff --git a/dhall/src/semantics/tck/mod.rs b/dhall/src/semantics/tck/mod.rs
index 407605d..ba95847 100644
--- a/dhall/src/semantics/tck/mod.rs
+++ b/dhall/src/semantics/tck/mod.rs
@@ -1,2 +1,4 @@
+pub mod context;
 pub mod tyexpr;
+pub mod typecheck;
 pub(crate) use tyexpr::*;
-- 
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/tck/mod.rs | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/dhall/src/semantics/tck/mod.rs b/dhall/src/semantics/tck/mod.rs
index ba95847..28974af 100644
--- a/dhall/src/semantics/tck/mod.rs
+++ b/dhall/src/semantics/tck/mod.rs
@@ -1,4 +1,6 @@
 pub mod context;
+pub mod env;
 pub mod tyexpr;
 pub mod typecheck;
+pub(crate) use env::*;
 pub(crate) use tyexpr::*;
-- 
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/tck/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/dhall/src/semantics/tck/mod.rs b/dhall/src/semantics/tck/mod.rs
index 28974af..1df2a48 100644
--- a/dhall/src/semantics/tck/mod.rs
+++ b/dhall/src/semantics/tck/mod.rs
@@ -1,6 +1,6 @@
-pub mod context;
 pub mod env;
 pub mod tyexpr;
 pub mod typecheck;
 pub(crate) use env::*;
 pub(crate) use tyexpr::*;
+pub(crate) use typecheck::*;
-- 
cgit v1.2.3