From d9b4bd8d4019ca9ab999c0c4657663604158101c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 6 Apr 2019 17:50:47 +0200
Subject: s/Type/StaticType/

---
 dhall/src/lib.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'dhall/src/lib.rs')

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 103fd29..5a155c8 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -16,8 +16,7 @@ pub mod typecheck;
 pub use crate::dhall_type::*;
 pub use dhall_generator::expr;
 pub use dhall_generator::subexpr;
-pub use dhall_generator::Type;
-
+pub use dhall_generator::StaticType;
 pub use crate::imports::*;
 
 // pub struct DhallExpr(dhall_core::DhallExpr);
-- 
cgit v1.2.3


From 42d0f8100462f8a17a3ba1b86664310cdb71dfdc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 6 Apr 2019 17:55:43 +0200
Subject: Rename some modules

---
 dhall/src/lib.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dhall/src/lib.rs')

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 5a155c8..7439312 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -10,14 +10,14 @@
 mod normalize;
 pub use crate::normalize::*;
 pub mod binary;
-mod dhall_type;
 pub mod imports;
+mod traits;
 pub mod typecheck;
-pub use crate::dhall_type::*;
+pub use crate::imports::*;
+pub use crate::traits::*;
 pub use dhall_generator::expr;
 pub use dhall_generator::subexpr;
 pub use dhall_generator::StaticType;
-pub use crate::imports::*;
 
 // pub struct DhallExpr(dhall_core::DhallExpr);
 
-- 
cgit v1.2.3


From 366bc783e62682c9597e8caba1dac56638d34fa9 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 6 Apr 2019 18:24:49 +0200
Subject: Define some newtypes for Expr

Closes #50
---
 dhall/src/lib.rs | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

(limited to 'dhall/src/lib.rs')

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 7439312..fee5ba8 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -18,11 +18,5 @@ pub use crate::traits::*;
 pub use dhall_generator::expr;
 pub use dhall_generator::subexpr;
 pub use dhall_generator::StaticType;
-
-// pub struct DhallExpr(dhall_core::DhallExpr);
-
-// impl DhallExpr {
-//     pub fn normalize(self) -> Self {
-//         DhallExpr(crate::normalize::normalize(self.0))
-//     }
-// }
+pub mod expr;
+pub use crate::expr::*;
-- 
cgit v1.2.3


From 412d0fac51b7b51aabcb049e3d6ba52f3dda1529 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 6 Apr 2019 20:32:25 +0200
Subject: Move binary decoding to new API

---
 dhall/src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/src/lib.rs')

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index fee5ba8..28b43ba 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -9,7 +9,7 @@
 
 mod normalize;
 pub use crate::normalize::*;
-pub mod binary;
+mod binary;
 pub mod imports;
 mod traits;
 pub mod typecheck;
-- 
cgit v1.2.3


From 4bebcd96b6e76b9b8ae7877af91d2ae571e617a9 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 7 Apr 2019 16:45:30 +0200
Subject: Restrict public API

Closes #20
---
 dhall/src/lib.rs | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

(limited to 'dhall/src/lib.rs')

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 28b43ba..f00e5b6 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -7,16 +7,14 @@
     clippy::many_single_char_names
 )]
 
-mod normalize;
-pub use crate::normalize::*;
 mod binary;
-pub mod imports;
-mod traits;
+mod imports;
+mod normalize;
+pub mod traits;
 pub mod typecheck;
-pub use crate::imports::*;
-pub use crate::traits::*;
+pub use crate::imports::{load_dhall_file, ImportError};
+pub use crate::traits::StaticType;
 pub use dhall_generator::expr;
 pub use dhall_generator::subexpr;
 pub use dhall_generator::StaticType;
 pub mod expr;
-pub use crate::expr::*;
-- 
cgit v1.2.3