Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
1234567891011121314151617use proc_macro::TokenStream;use quote::quote;use verus_syn::File;
#[proc_macro]pub fn r#mod(input: TokenStream) -> TokenStream { let compile_error = verus_syn::parse::<File>(input) .map(|file| println!("{:#?}", file)) .map_err(|err| err.to_compile_error()) .err();
TokenStream::from(quote! { #compile_error fn main() {} })}