diff options
| author | Nadrieril | 2019-04-06 11:46:27 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-06 12:15:05 +0200 |
| commit | 35d735e3e1404fa917c95cbd914bccf0b3908ba0 (patch) | |
| tree | 1ac6cf5d9db3dd1fa0e705aec267121dfa9c9cd5 /dhall/src | |
| parent | e56b23ea05f7827c54187173eb86b31f7fe70422 (diff) | |
Split dhall_expr!() into 2
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 0270103..103fd29 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -14,6 +14,8 @@ mod dhall_type; pub mod imports; 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 crate::imports::*; |