diff options
author | Nadrieril | 2019-03-21 22:08:23 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-21 22:08:23 +0100 |
commit | 4b99a3fb46191a83fa8551f21b98cff689bbb338 (patch) | |
tree | 0d07b39dbcf794c9fe1174aeb6fb4923df2fd9b7 /dhall/src/lib.rs | |
parent | ea08d2528d2ee46446ac8981e72af5c610e43ce1 (diff) |
Improve import handling in parser
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r-- | dhall/src/lib.rs | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index d8ca955..dcc1ff3 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -10,7 +10,16 @@ mod normalize; pub use crate::normalize::*; pub mod binary; +pub mod dhall_type; pub mod imports; pub mod typecheck; -pub use crate::imports::{load_dhall_file, DhallError}; +pub use crate::imports::*; + +pub struct DhallExpr(dhall_core::DhallExpr); + +impl DhallExpr { + pub fn normalize(self) -> Self { + DhallExpr(crate::normalize::normalize(self.0)) + } +} |