diff options
Diffstat (limited to 'dhall_generator/src/dhall_type.rs')
-rw-r--r-- | dhall_generator/src/dhall_type.rs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dhall_generator/src/dhall_type.rs b/dhall_generator/src/dhall_type.rs new file mode 100644 index 0000000..7cfd945 --- /dev/null +++ b/dhall_generator/src/dhall_type.rs @@ -0,0 +1,15 @@ +extern crate proc_macro; +// use dhall_core::*; +// use proc_macro2::TokenStream; +use quote::quote; + +pub fn derive_dhall_type(_input: proc_macro::TokenStream) -> proc_macro::TokenStream { + (quote!{ + impl DhallType for A { + fn dhall_type() -> dhall_core::DhallExpr { + dhall_core::rc(dhall_core::Expr::BoolLit(false)) + } + } + }).into() +} + |