diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:32 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:32 +0200 |
| commit | 9b0da28632c2d5ffc42bf647213a8990fa0cbffb (patch) | |
| tree | b510f409458097a3c473ab80791a7717961ebd5b /guests_macro/src/lib.rs | |
| parent | 30f518fa36be8378d86b28e8eab2433151fe616a (diff) | |
| download | zkVMs-benchmarks-9b0da28632c2d5ffc42bf647213a8990fa0cbffb.tar zkVMs-benchmarks-9b0da28632c2d5ffc42bf647213a8990fa0cbffb.tar.gz zkVMs-benchmarks-9b0da28632c2d5ffc42bf647213a8990fa0cbffb.zip | |
chore: Rust fmt
Diffstat (limited to 'guests_macro/src/lib.rs')
| -rw-r--r-- | guests_macro/src/lib.rs | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/guests_macro/src/lib.rs b/guests_macro/src/lib.rs index 30bfec7..2a35292 100644 --- a/guests_macro/src/lib.rs +++ b/guests_macro/src/lib.rs @@ -1,5 +1,5 @@ -use std::{ fs::File, io::Write }; use proc_macro::TokenStream; +use std::{fs::File, io::Write}; mod parse_fn; /// Create an `entrypoint_expr` macro inside the guest program. This will be @@ -45,11 +45,17 @@ pub fn proving_entrypoint(_: TokenStream, mut item: TokenStream) -> TokenStream writeln!(output, "{}", &format!("{args}").replace('\n', " ")); write!(output, "{}", &format!("{ret}").replace('\n', " ")); - item.extend(format!("#[macro_export] + item.extend( + format!( + "#[macro_export] macro_rules! entrypoint_expr {{ () => {{ make_wrapper!{{{}{} -> {}}} }}; - }}", name, args, ret).parse::<TokenStream>()); + }}", + name, args, ret + ) + .parse::<TokenStream>(), + ); item } |