Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

Commit b2017c72 authored by Bruno Guillaume's avatar Bruno Guillaume
Browse files

Rely on Matching.to_json in grep output

parent 80d167f0
......@@ -125,7 +125,8 @@ let transform () =
close_out out_ch;
Some filename in
let json_matching = `Assoc (List.map2 (fun pid g_name -> (pid, `String g_name)) pattern_ids graph_node_names) in
let json_matching = Matching.to_json pattern graph matching in
let opt_list = [
Some ("sent_id", `String name);
Some ("matching", json_matching);
......@@ -144,5 +145,5 @@ let transform () =
json :: acc2
) acc matchings
) [] graph_array in
Printf.printf "%s\n" (Yojson.pretty_to_string (`List final_json))
Printf.printf "%s\n" (Yojson.Basic.pretty_to_string (`List final_json))
) ()
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment