diff options
author | Nadrieril | 2019-03-24 23:36:15 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-24 23:36:15 +0100 |
commit | 0424d165836fcbf15aa2e05527d0e790941c9518 (patch) | |
tree | 8aaf71ac08cf912f4d4c2c47f51d58dcaa874891 /dhall_generator/src/dhall_type.rs | |
parent | 5663b4499b46a914ad59792220b0a6cfc24b608c (diff) |
Lay groundwork for DhallType deriving
Diffstat (limited to '')
-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() +} + |