blob: 7cfd945e9ba45b386ef78d6195c7b2370c2d22d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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()
}
|