diff options
author | Nadrieril | 2019-04-06 17:50:47 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-06 17:50:47 +0200 |
commit | d9b4bd8d4019ca9ab999c0c4657663604158101c (patch) | |
tree | 15b90ab300995a7dd92c469b903d2fc8f6d57888 /dhall/src/lib.rs | |
parent | 9741e3280ed03920732430e7994e1f8482c9ddd6 (diff) |
s/Type/StaticType/
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r-- | dhall/src/lib.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 103fd29..5a155c8 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -16,8 +16,7 @@ pub mod typecheck; pub use crate::dhall_type::*; pub use dhall_generator::expr; pub use dhall_generator::subexpr; -pub use dhall_generator::Type; - +pub use dhall_generator::StaticType; pub use crate::imports::*; // pub struct DhallExpr(dhall_core::DhallExpr); |