summaryrefslogtreecommitdiff
path: root/dhall_core
diff options
context:
space:
mode:
authorNadrieril2019-03-26 22:35:46 +0100
committerNadrieril2019-03-26 22:35:46 +0100
commit23e12ffc4421414abbd089759dab9c50aefeac0c (patch)
treeda1cfb1f2744fd85f1f3f6b25858db99311a315f /dhall_core
parentfd293b7919d84faa2ac0df05ddd25c0386dc4c67 (diff)
Derive DhallType for structs
Diffstat (limited to 'dhall_core')
-rw-r--r--dhall_core/src/dhall_type.rs10
-rw-r--r--dhall_core/src/lib.rs2
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;