Commit fb8276f8 authored by Pascal Raymond's avatar Pascal Raymond
Browse files

Terminations (vanish,deadlock,exceptions) handled in run.

parent e6ed6145
......@@ -1162,21 +1162,12 @@ let rec genpath
rec_genpath ({br with br_ctrl=e; br_data = new_data; br_cont=run_cont})
) with
(* HERE: semantics, decide what to do if run stops ??? *)
| Stop ->
let msg = Printf.sprintf
"Run-time error: unexpected END while running \"%s\"" rid
in
raise (Global_error msg)
| Deadlock ->
let msg = Printf.sprintf
"Run-time error: unexpected DEADLOCK when running \"%s\"" rid
in
raise (Global_error msg)
| Exception x ->
let msg = Printf.sprintf
"Run-time error: unexpected EXCEPTION \"%s\" when running \"%s\"" x rid
in
raise (Global_error msg)
(* Stop <=> Vanish *)
| Stop -> cont.doit Vanish
(* Exception <=> Raise *)
| Exception x -> cont.doit (Raise x)
(* Deadlock <=? Deadlock *)
| Deadlock -> raise Deadlock
)
) in
......
Supports Markdown
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