summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-rw-r--r--dhall/src/lib.rs6
-rw-r--r--dhall/src/traits.rs (renamed from dhall/src/dhall_type.rs)0
-rw-r--r--dhall/tests/traits.rs (renamed from dhall/tests/dhall_type.rs)0
3 files changed, 3 insertions, 3 deletions
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);
diff --git a/dhall/src/dhall_type.rs b/dhall/src/traits.rs
index 64e07d9..64e07d9 100644
--- a/dhall/src/dhall_type.rs
+++ b/dhall/src/traits.rs
diff --git a/dhall/tests/dhall_type.rs b/dhall/tests/traits.rs
index ac6b5e6..ac6b5e6 100644
--- a/dhall/tests/dhall_type.rs
+++ b/dhall/tests/traits.rs