diff options
| author | Nadrieril | 2020-04-05 17:57:07 +0100 |
|---|---|---|
| committer | GitHub | 2020-04-05 17:57:07 +0100 |
| commit | 7e977f282fb6a0eff0ef45738b9b5c98dc4c6fee (patch) | |
| tree | ad4249609707fd8720a44469152105c2f6a67c79 /dhall/src/semantics/tck/mod.rs | |
| parent | 5a5aa49e64197899006751db72e404f4b2292d4e (diff) | |
| parent | 820214615547101f8f2b5de209b5189968bddfee (diff) | |
Merge pull request #154 from Nadrieril/cleanup-api
Rewrite serde_dhall API
Diffstat (limited to 'dhall/src/semantics/tck/mod.rs')
| -rw-r--r-- | dhall/src/semantics/tck/mod.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/semantics/tck/mod.rs b/dhall/src/semantics/tck/mod.rs index 93c8f48..6dddfc5 100644 --- a/dhall/src/semantics/tck/mod.rs +++ b/dhall/src/semantics/tck/mod.rs @@ -1,6 +1,6 @@ pub mod env; pub mod tir; pub mod typecheck; -pub(crate) use env::*; -pub(crate) use tir::*; -pub(crate) use typecheck::*; +pub use env::*; +pub use tir::*; +pub use typecheck::*; |