1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
use proc_macro::TokenStream;
use quote::quote;
use syn::parse::Parse;
use syn::parse::ParseStream;
use syn::parse_macro_input;
use syn::punctuated::Punctuated;
use syn::Ident;
use syn::ItemFn;
use syn::Token;
use syn::TypeParam;
#[proc_macro_attribute]
pub fn mono(attr: TokenStream, func: TokenStream) -> TokenStream {
let mono_attr = parse_macro_input!(attr as TypeEqs);
let input = func.clone();
let fn_sig = parse_macro_input!(input as ItemFn).sig;
let mut types = vec![];
for g in fn_sig.generics.type_params() {
if let Some(t) = mono_attr.eqs.iter().find(|eq| eq.ident == g.ident) {
types.push(t.r#type.ident.clone());
} else {
break;
}
}
let func_ident = fn_sig.ident.clone();
let mut expand = force_monomorphize(func_ident, types);
expand.extend(func);
expand
}
fn force_monomorphize(func: Ident, ident: Vec<Ident>) -> TokenStream {
TokenStream::from(quote! {
pub const _: *const () = (&#func::<#(#ident,)*>) as *const _ as _;
})
}
struct TypeEqs {
eqs: Punctuated<TypeEqTo, Token![,]>,
}
impl Parse for TypeEqs {
fn parse(input: ParseStream) -> syn::Result<Self> {
Ok(TypeEqs {
eqs: { input.parse_terminated(TypeEqTo::parse)? },
})
}
}
struct TypeEqTo {
ident: Ident,
#[allow(dead_code)]
eq_token: Token![=],
r#type: TypeParam,
}
impl Parse for TypeEqTo {
fn parse(input: ParseStream) -> syn::Result<Self> {
Ok(TypeEqTo {
ident: input.parse()?,
eq_token: input.parse()?,
r#type: input.parse()?,
})
}
}