Skip to main content

arcis_interpreter/
assert_current_module.rs

1use proc_macro2::TokenStream;
2use quote::{format_ident, quote};
3
4pub fn assert_current_module_macro(input: TokenStream) -> TokenStream {
5    let toplevel_check_ident = format_ident!("CHECK_PATH_{}", rand::random::<u128>());
6
7    quote! {
8        const #toplevel_check_ident: bool = true;
9        const _ : bool = #input::#toplevel_check_ident;
10    }
11}