summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-rw-r--r--dhall/src/lib.rs14
1 files changed, 7 insertions, 7 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index dcc1ff3..3e76395 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -10,16 +10,16 @@
mod normalize;
pub use crate::normalize::*;
pub mod binary;
-pub mod dhall_type;
+// pub mod dhall_type;
pub mod imports;
pub mod typecheck;
pub use crate::imports::*;
-pub struct DhallExpr(dhall_core::DhallExpr);
+// pub struct DhallExpr(dhall_core::DhallExpr);
-impl DhallExpr {
- pub fn normalize(self) -> Self {
- DhallExpr(crate::normalize::normalize(self.0))
- }
-}
+// impl DhallExpr {
+// pub fn normalize(self) -> Self {
+// DhallExpr(crate::normalize::normalize(self.0))
+// }
+// }