From 23e12ffc4421414abbd089759dab9c50aefeac0c Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 26 Mar 2019 22:35:46 +0100 Subject: Derive DhallType for structs --- dhall_core/src/dhall_type.rs | 10 ---------- dhall_core/src/lib.rs | 2 -- 2 files changed, 12 deletions(-) delete mode 100644 dhall_core/src/dhall_type.rs (limited to 'dhall_core/src') diff --git a/dhall_core/src/dhall_type.rs b/dhall_core/src/dhall_type.rs deleted file mode 100644 index 3635e67..0000000 --- a/dhall_core/src/dhall_type.rs +++ /dev/null @@ -1,10 +0,0 @@ -use crate::*; - -#[derive(Debug, Clone)] -pub enum DhallConversionError {} - -pub trait DhallType: Sized { - fn dhall_type() -> DhallExpr; - // fn as_dhall(&self) -> DhallExpr; - // fn from_dhall(e: DhallExpr) -> Result; -} diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs index b15c644..0874b09 100644 --- a/dhall_core/src/lib.rs +++ b/dhall_core/src/lib.rs @@ -18,6 +18,4 @@ mod printer; pub use crate::printer::*; mod parser; pub use crate::parser::*; -mod dhall_type; -pub use dhall_type::*; pub mod context; -- cgit v1.2.3