From 00fa24b851ff6337cf4c5c63f82d95488180a413 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 8 Apr 2019 17:56:35 +0200 Subject: Limit public API Closes #53 --- dhall/src/lib.rs | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'dhall/src/lib.rs') diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index c9a8f7c..6436927 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -18,11 +18,8 @@ mod parser; mod binary; mod imports; mod normalize; -pub mod traits; -pub mod typecheck; -pub use crate::imports::{load_dhall_file, ImportError}; +mod traits; +mod typecheck; pub use crate::traits::StaticType; -pub use dhall_generator::expr; -pub use dhall_generator::subexpr; pub use dhall_generator::StaticType; pub mod expr; -- cgit v1.2.3