diff options
author | Nadrieril | 2019-04-08 17:56:35 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-08 17:56:35 +0200 |
commit | 00fa24b851ff6337cf4c5c63f82d95488180a413 (patch) | |
tree | 5bd21c934233622b86520743d7a9d3cb6203a1a4 /dhall/src/lib.rs | |
parent | b6bd26f08866d4025ca98faf3a3e5f15353aacbf (diff) |
Limit public API
Closes #53
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r-- | dhall/src/lib.rs | 7 |
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; |