Skip to content
Snippets Groups Projects
Commit 224fc185 authored by Wilke Pierre's avatar Wilke Pierre
Browse files

Gestion un peu meilleure des exceptions

parent 0e3f1bee
No related branches found
No related tags found
No related merge requests found
...@@ -181,6 +181,7 @@ let _ = ...@@ -181,6 +181,7 @@ let _ =
end; end;
let compiler_res = let compiler_res =
try
pass_tokenize input >>= fun tokens -> pass_tokenize input >>= fun tokens ->
pass_parse tokens >>= fun (ast, _) -> pass_parse tokens >>= fun (ast, _) ->
pass_elang ast >>= fun ep -> pass_elang ast >>= fun ep ->
...@@ -200,6 +201,10 @@ let _ = ...@@ -200,6 +201,10 @@ let _ =
pass_linear_dse linear lives >>= fun linear -> pass_linear_dse linear lives >>= fun linear ->
run "Linear after DSE" !linear_run_after_dse exec_linear_prog linear; run "Linear after DSE" !linear_run_after_dse exec_linear_prog linear;
pass_ltl_gen linear pass_ltl_gen linear
with e ->
let emsg = Printexc.to_string e ^ "\n" ^ Printexc.get_backtrace () in
record_compile_result ~error:(Some emsg) "global";
Error emsg
in in
begin begin
match compiler_res with match compiler_res with
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment