summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-03-22 00:10:08 +0100
committerNadrieril2019-03-22 00:10:08 +0100
commit9a8a14ba3863b3bc5e79cd8070d6779451ff8466 (patch)
tree5e3e0152e9b8bf28ac280d9f0b080a64db90d890 /dhall
parentfe38fd6a8859447a154a5698a3e21d9203262be2 (diff)
oops
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))
+// }
+// }