diff options
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; |