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
#![warn(missing_docs)]
extern crate proc_macro;
use proc_macro::{Delimiter, Group, Ident, Punct, Spacing, Span, TokenStream, TokenTree};
fn parse_argument(item: TokenStream) -> Option<usize> {
let mut iter = item.into_iter();
let size = match iter.next()? {
TokenTree::Literal(lit) => lit.to_string().parse().ok(),
TokenTree::Group(group) if group.delimiter() == Delimiter::None => {
let mut iter = group.stream().into_iter();
let size = match iter.next()? {
TokenTree::Literal(lit) => lit.to_string().parse().ok(),
_ => None,
};
iter.next().map(drop).xor(Some(()))?;
size
}
_ => None,
}?;
iter.next().map(drop).xor(Some(()))?;
Some(size)
}
#[proc_macro]
pub fn slist_typegen(item: TokenStream) -> TokenStream {
let size =
parse_argument(item).expect("Wrong argument; expected a literal non-negative integer");
let empty: TokenTree = Group::new(Delimiter::Parenthesis, TokenStream::new()).into();
let mut output: TokenStream = empty.clone().into();
let start = [
Ident::new("List", Span::call_site()).into(),
Punct::new('<', Spacing::Alone).into(),
empty,
Punct::new(',', Spacing::Alone).into(),
];
let end = [Punct::new('>', Spacing::Alone).into()];
for _ in 0..size {
output = start
.iter()
.cloned()
.chain(output.into_iter())
.chain(end.iter().cloned())
.collect()
}
output
}