From 28641cf687ba4fb91f7aa2583978c0b1416ea041 Mon Sep 17 00:00:00 2001 From: Leandre Lacourt <lacourtl@santel.imag.fr> Date: Mon, 17 Jun 2024 16:43:20 +0200 Subject: [PATCH] prise en compte de l'underscore dans les noms des vars du yml --- bin/lustre-mt/parser.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/bin/lustre-mt/parser.ml b/bin/lustre-mt/parser.ml index 53ef982..b16937d 100644 --- a/bin/lustre-mt/parser.ml +++ b/bin/lustre-mt/parser.ml @@ -78,7 +78,7 @@ let (intlist : Yaml.value list -> int list) = let (save_variable_attributes : Types.variable -> (string * Yaml.value) -> unit) = fun v (key, value) -> match key, value with - |"name", `String s -> v.name <- s + |"name", `String s -> v.name <- Str.string_after s 1 |"type", `String s -> v.var_type <- s |_ -> assert false @@ -114,7 +114,6 @@ let (save_data_task : Types.task -> (string * Yaml.value) -> unit) = match (key, value) with | "task", `O l -> List.iter (save_data_one_task task) l |_ -> () -(*faire en sorte de match avec "task", `O pour aller ensuite sur le save_data_task*) let (save_data_tasks : Yaml.value -> unit) = fun x -> let task = {name = ""; var_in = []; var_out = []}::[] in -- GitLab