diff options
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/src/lib.rs | 6 | ||||
| -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 |