summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-08 17:56:35 +0200
committerNadrieril2019-04-08 17:56:35 +0200
commit00fa24b851ff6337cf4c5c63f82d95488180a413 (patch)
tree5bd21c934233622b86520743d7a9d3cb6203a1a4 /dhall/src/lib.rs
parentb6bd26f08866d4025ca98faf3a3e5f15353aacbf (diff)
Limit public API
Closes #53
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r--dhall/src/lib.rs7
1 files changed, 2 insertions, 5 deletions
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;