diff options
author | Nadrieril | 2019-03-26 22:35:46 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-26 22:35:46 +0100 |
commit | 23e12ffc4421414abbd089759dab9c50aefeac0c (patch) | |
tree | da1cfb1f2744fd85f1f3f6b25858db99311a315f /dhall_core | |
parent | fd293b7919d84faa2ac0df05ddd25c0386dc4c67 (diff) |
Derive DhallType for structs
Diffstat (limited to 'dhall_core')
-rw-r--r-- | dhall_core/src/dhall_type.rs | 10 | ||||
-rw-r--r-- | dhall_core/src/lib.rs | 2 |
2 files changed, 0 insertions, 12 deletions
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<Self, DhallConversionError>; -} 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; |