diff options
author | Nadrieril | 2019-03-22 00:10:08 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-22 00:10:08 +0100 |
commit | 9a8a14ba3863b3bc5e79cd8070d6779451ff8466 (patch) | |
tree | 5e3e0152e9b8bf28ac280d9f0b080a64db90d890 /dhall | |
parent | fe38fd6a8859447a154a5698a3e21d9203262be2 (diff) |
oops
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/src/lib.rs | 14 |
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)) +// } +// } |