diff options
| author | Nadrieril | 2019-04-06 17:55:43 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-06 17:57:53 +0200 |
| commit | 42d0f8100462f8a17a3ba1b86664310cdb71dfdc (patch) | |
| tree | 202199956ed8d7497e0bd986f22473b3e92cf8f9 /dhall | |
| parent | d9b4bd8d4019ca9ab999c0c4657663604158101c (diff) | |
Rename some modules
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 |