From 8b38e0b027acdf8d9564cceaab312f02c1a2a1cb Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Mon, 9 Mar 2020 08:44:55 +0100
Subject: [PATCH] Correction de main.ml pour gestion d'erreurs plus sympa.
---
src/main.ml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/main.ml b/src/main.ml
index b0397bb..2134167 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -292,7 +292,10 @@ let _ =
add_to_report "e" "E" (Code (file_contents file)));
run "Elang" !e_run eval_eprog ep;
- cfg_prog_of_eprog ep >>! fun cfg ->
+ match cfg_prog_of_eprog ep with
+ | Error msg ->
+ record_compile_result ~error:(Some msg) "CFG";
+ | OK cfg ->
record_compile_result ~data:([(`Assoc (List.map (fun (fname,Prog.Gfun cfgfun) -> (fname, `Int (Cfg.size_fun cfgfun.cfgfunbody))) cfg))]) "CFG";
dump !cfg_dump dump_cfg_prog cfg (call_dot "cfg" "CFG");
--
GitLab