From b0fda4ce1557a316e4d4ed1152025d9def753831 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Thu, 30 Jan 2025 13:09:26 +0200 Subject: feat: Pass guest entrypoint type to host --- zkvms_host_io/input_macros/src/lib.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'zkvms_host_io') diff --git a/zkvms_host_io/input_macros/src/lib.rs b/zkvms_host_io/input_macros/src/lib.rs index 2585653..84c2792 100644 --- a/zkvms_host_io/input_macros/src/lib.rs +++ b/zkvms_host_io/input_macros/src/lib.rs @@ -4,9 +4,8 @@ use proc_macro::TokenStream; mod parse_fn; use crate::parse_fn::{ args_split, args_divide, group_streams }; - fn get_args() -> TokenStream { - "(graph: Vec>, colors: u32, coloring: Vec>,)".parse::().unwrap() + include_str!("../../../guests/type.txt").parse::().unwrap() } #[proc_macro] -- cgit v1.2.3