We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b81fc28 commit 2e7e79fCopy full SHA for 2e7e79f
asllib/asllib-www/jaslref.ml
@@ -73,7 +73,9 @@ let run_asl code version exec =
73
with
74
| Asllib.Error.ASLException e ->
75
Printf.eprintf "%s\n%!" (Asllib.Error.error_to_string e)
76
- | Exit _ -> ()
+ | Exit code ->
77
+ if _exec then
78
+ Printf.printf "ASL: interpretation completed (exit code %n).\n%!" code
79
80
(* Expose to JavaScript *)
81
let () = Js.Unsafe.global##.runAsl := Js.wrap_callback run_asl
0 commit comments