cps 0.3.1

Assists in the creation of readable and maintainable macro_rules! macros
Documentation 
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

use crate::cps_macro::build_next_step;
use crate::parse_cps_input::MacroInput;
use proc_macro2::TokenStream;
use quote::{quote, ToTokens};
use syn::parse::Parse;
use syn::punctuated::Punctuated;
use syn::Token;

pub trait CPSProcMacro {
    type Input: Parse;
    type Output: ToTokens;

    fn step(inp: Self::Input) -> Self::Output;
}

pub fn perform_macro<M: CPSProcMacro>(item: TokenStream) -> TokenStream {
    let mut m: MacroInput = syn::parse2(item).expect("failed to parse CPS macro input");

    // Extract single arg
    let (args, _) = m.stack.remove(0);
    assert_eq!(args.len(), 1);
    let arg = args.first().expect("found no argument to CPS macro");
    let arg = syn::parse2(arg.lhs.internal.clone().into_token_stream())
        .expect("failed to parse CPS macro input item");

    // Evaluate
    let res = M::step(arg);

    // If the program is done, emit the result
    let next_call = match m.program.first() {
        None => {
            assert_eq!(
                m.stack.len(),
                0,
                "cps evaluation was done but stack wasn't emptied"
            );

            return res.to_token_stream();
        }
        Some(v) => v.ident.clone(),
    };

    let mut remaining_calls: Punctuated<_, Token![|]> = Punctuated::new();
    for i in m.program.into_iter().skip(1) {
        remaining_calls.push(i)
    }

    let mut next_stack = quote! {};
    for part in m.stack {
        for item in part.0 {
            next_stack = quote! {#next_stack #item}
        }
        next_stack = quote! {#next_stack |}
    }

    build_next_step(next_call.clone(), remaining_calls, res, next_stack)
}