summaryrefslogtreecommitdiff
path: root/dhall_core
diff options
context:
space:
mode:
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;